Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 899894ac authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Replace an [open] with a qualified identifier.

parent a1f08644
No related branches found
No related tags found
No related merge requests found
......@@ -82,8 +82,6 @@ let map (phi : 'a -> 'b) (enum : 'a enum) : 'b enum =
(* Convenience functions. *)
open Fix.Memoize.Int
let finite (xs : 'a list) : 'a enum =
List.fold_left (++) zero (List.map just xs)
......@@ -93,7 +91,7 @@ let bool : bool enum =
let list (elem : 'a enum) : 'a list enum =
let cons (x, xs) = x :: xs in
fix (fun list ->
Fix.Memoize.Int.fix (fun list ->
just [] ++ pay (map cons (elem ** list))
)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment