Up

Module Key : Core_kernel.Std.Comparator.S

Signature

type t
type comparator_witness