Functor Comparator.Make

module Make: 
functor (M : Pre) -> S          with type t = M.t

include Comparator.Pre

type comparator 

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