Functor Comparator.Make_binable

module Make_binable: 
functor (M : Pre_binable) -> S_binable  with type t = M.t

include Comparator.Pre_binable

type comparator 

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