Up

Module Key : Comparator.S with type t = t and type comparator_witness = comparator_witness

Signature

type t = t
type comparator_witness = comparator_witness