Module FCSet

module FCSet: sig .. end
Sets over ordered types.

This signatures is a partial copy of the signature of OCaml's Set.S, which we extend with new operations.


module type S_Basic_Compare = sig .. end
Standard operations on sets.
module type S = sig .. end
Output signature of the functor FCSet.Make.
module Make: 
functor (Ord : Set.OrderedType) -> S with type elt = Ord.t
Functor building an implementation of the set structure given a totally ordered type.