Up
–
core_kernel
»
Core_kernel__Set_intf
»
Check_accessors
» 3-Elt
Parameter
Check_accessors.3-Elt
type
'a t