Module Make_comparator.C
type t= K.t
include sig ... end
type comparator_witness= Base__Comparator.Make(K).comparator_witness
val comparator : (K.t, comparator_witness) Base__Comparator.comparator
Make_comparator.Ctype t = K.tinclude sig ... endtype comparator_witness = Base__Comparator.Make(K).comparator_witnessval comparator : (K.t, comparator_witness) Base__Comparator.comparator