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