Commits

Anonymous committed 550f9ac

fixed tests

Comments (0)

Files changed (2)

ocamlspot/treeset.ml

 end
 
 (* Make => *)
-module Make((* Ord => *) Ord (* <= Ord *): OrderedType) = struct
+module Make(Ord : (* Ord => *) OrderedType (* <= Ord *)) = struct
 
   type elem = Ord.t
   type 'a node = Node of elem * 'a

ocamlspot/xset.ml

 (* <= Xset.S *)
 
 (* Xset.Make => *)
-module Make((* Ord => *) Ord (* <= Ord *) : OrderedType) : S with type elt = Ord.t = struct
+module Make(Ord : (* Ord => *) OrderedType (* <= Ord *)) : S with type elt = Ord.t = struct
   include Set.Make(Ord)
 
   (* find the middle element in [t] *)