jon.recoil.org

Module type V1.Stable_witness_mSource

include Core.Comparator.S
type t
type comparator_witness
val stable_witness : t Stable_witness.t