module type S_with_collections = sig .. end
sig
end
include Equality_sig.S
module Set: Equality_sig.Set with type element = elt and type equality = t
Equality_sig.Set
with type element = elt and type equality = t