Module type SetMap.S

module type S = sig .. end

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