Module type Setable.S


module type S = sig .. end

type setable 
module Set: Set.S  with type elt = setable