Common use of Extended Example Clause in Contracts

Extended Example. List Forwarding In this section we present a final example that illustrates all the features of the OCaml implementation of λCoS, including dependent contracts. We also take advantage of OCaml’s support for parametric polymorphism and recursive types, which we have omitted in the formal model of λCoS for the sake of simplicity. The following function 1 let forwarder_body x = 2 let rec aux y = 3 function

Extended Example. List Forwarding In this section we present a final example that illustrates all the features of the OCaml implementation imple- mentation of λCoS, including dependent contracts. We also take advantage of OCaml’s support for parametric polymorphism and recursive types, which we have omitted in the formal model of λCoS for the sake of simplicity. The following function 1 let forwarder_body x = 2 let rec aux y = 3 functionfunction →

Extended Example. List Forwarding Forwarding‌ In this section we present a final example that illustrates all the features of the OCaml implementation imple- mentation of λCoS, including dependent contracts. We also take advantage of OCaml’s support for parametric polymorphism and recursive types, which we have omitted in the formal model of λCoS for the sake of simplicity. The following function 1 let forwarder_body x = 2 let rec aux y = 3 functionfunction →