Module type Comparable.S_binable

module type S_binable = Comparable_intf.S_binable

include Comparable_intf.S_common
include Comparable_intf.Map_and_set_binable