Module `Comparator.Module`Source

type ('a, 'b) t =
  (module Base.Comparator.S
  with type comparator_witness = 'b
   and type t = 'a)

First-class module providing a comparator and witness type.

Module Comparator.ModuleSource