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.