Up
–
core_kernel
»
Core_kernel
»
Comparator
»
S_to_S1
» 1-S
Parameter
S_to_S1.1-S
type
t
type
comparator_witness
val
comparator :
(
t
,
comparator_witness
)
comparator