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