Up
–
base
»
Base
»
Set
»
M
» 1-Elt
Parameter
M.1-Elt
type
t
type
comparator_witness