Module type Core_set_intf.S0_binable

module type S0_binable = sig .. end

include Core_set_intf.S0

include Core_set_intf.Binable.S