Module type Comparator.S

module type S = sig .. end

include Comparator.Pre

type comparator 

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