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 building an implementation of the set structure given a totally ordered type.