2 module type OrderedType = Set.OrderedType
7 val of_list : elt list -> t
8 val to_list : t -> elt list
9 val disjoint : t -> t -> bool
10 val is_subset : t -> t -> bool
13 module Make (Ord : OrderedType) : S with type elt = Ord.t = struct
14 module M = Set.Make (Ord)
17 let to_list = elements
18 let of_list l = List.fold_right M.add l M.empty
19 let disjoint s1 s2 = M.inter s1 s2 = M.empty
21 let is_subset set1 set2 =
22 let f x res = res && (mem x set2) in