module Hptset:Sets over ordered types.sig
..end
This module implements the set data structure.
All operations over sets
are purely applicative (no side-effects).
module type Id_Datatype =sig
..end
Set.Make
.
module type S =sig
..end
Set.Make
.
module Make: