module FCSet: sig .. end
sig
end
This signatures is a partial copy of the signature of OCaml's Set.S, which we extend with new operations.
Set.S
module type S_Basic_Compare = sig .. end
module type S = sig .. end
FCSet.Make
module Make: functor (Ord : Set.OrderedType) -> S with type elt = Ord.t
functor (
Ord
:
Set.OrderedType
) ->
S
with type elt = Ord.t