Comparator.Module
type ('a, 'b) t = (module S with type comparator_witness = 'b and type t = 'a)
First-class module providing a comparator and witness type.