Up
–
core_kernel
»
Core_kernel__
»
Set
»
M
» 1-Elt
Parameter
M.1-Elt
type
t
type
comparator_witness