Module type Comparator.S_binable

module type S_binable = sig .. end

include Comparator.Pre_binable

type comparator 

val comparator : (Comparator.t, comparator) Comparator.t_