Functor Datatype.Set


module Set: 
functor (Data : Project.Datatype.S) -> S with type t = Set.Make(Data).t
Functor building a set datatype.
Parameters:
Data : Project.Datatype.S