Up

Module Make (M : sig .. end) : S with type t := M.t

Make creates a comparator value and its phantom comparator_witness type for a nullary type.

Parameters

M : sig .. end

Signature

type t
type comparator_witness
val comparator : (t, comparator_witness) comparator