module Make_binable:
functor (
Elt
:
sig
include Set.Elt
include Binable.S
end
) ->
sig include Elt include Binable.S with type binable = t end
include Set.S