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