Module V1.Make1

Parameters

• M : sig ... end

Signature

type 'a t

type comparator_witness

val comparator : ('a t, comparator_witness) Base.Comparator.comparator