Functor Datatype.Make_Set


module Make_Set: 
functor (Set : SET) ->
functor (Data : S with type t = Set.elt) -> S with type t = Set.t
Generic functor building a set datatype.
Parameters:
Set : SET
Data : S with type t = Set.elt