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