Up
–
odoc
»
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