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