Module `Comparator.Module`

type (!'a, !'b) t =
  (module S
  with type comparator_witness = 'b
   and type t = 'a)