Up – base » Base__ » Comparator » S_to_S1 » 1-S

Parameter `S_to_S1.1-S`

type t
type comparator_witness

val comparator : (t, comparator_witness) comparator