Functor SetMap.Make

module Make: 
functor (Ord : OrderedType) -> S  with type elt = Ord.t

type elt 

module Set: SetMap.Set  with type elt = elt

module Map: SetMap.Map  with type elt = elt and type set = Set.t