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