1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
(* TEST *)
open Set.Make(String)
let e = empty
open struct
let x = singleton "hidden"
end
let () = iter print_endline (union x (of_list ["a"; "b"]))
let f =
let open Set.Make(Int32) in
let e2 = empty in
let open struct
let y = 3
end in
(e, e2, y)
module type S = sig
open Set.Make(Bool)
type nonrec t = t
end
let hd _ = ()
open (List : sig val map : ('a -> 'b) -> 'a list -> 'b list end)
let l =
hd (map succ [0; 1; 2; 3])
let y = map succ []
|
