Module type Interfaces.Setable


module type Setable = Setable.S

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