module type S_binable = sig .. end
sig
end
include Comparable_intf.S_common
include Comparable_intf.Map_and_set_binable