Functor Comparator.Make

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

include Comparator.Pre
type comparator 
val comparator : (Comparator.t, comparator) Comparator.t_