Commit af194ffb authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Update to new version of Monolith.

parent 9606716a
......@@ -279,7 +279,7 @@ let pnotfinal direction it =
let esek =
let check _model = C.E.check, constant "E.check" in
declare_abstract_type "element E.t" ~var:"e" ~check
declare_abstract_type ~var:"e" ~check ()
(* Iterators on ephemeral sequences. *)
......@@ -306,19 +306,19 @@ let eiter =
constant "<this string will never appear>"
in
declare_abstract_type "element E.Iter.iter" ~var:"it" ~check
declare_abstract_type ~var:"it" ~check ()
(* Persistent sequences. *)
let psek =
let check _model = C.P.check, constant "P.check" in
declare_abstract_type "element P.t" ~var:"p" ~check
declare_abstract_type ~var:"p" ~check ()
(* Iterators on persistent sequences. *)
let piter =
let check _model = C.P.Iter.check, constant "P.Iter.check" in
declare_abstract_type "element P.Iter.iter" ~var:"it" ~check
declare_abstract_type ~var:"it" ~check ()
(* -------------------------------------------------------------------------- *)
(* -------------------------------------------------------------------------- *)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment