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