Up – docs » findlib-1 » base » Base » Comparator » S_to_S1 » S

Parameter `S_to_S1.S`

type t

type comparator_witness

val comparator : (t, comparator_witness) comparator