Up
–
core_kernel
»
Core_kernel__
»
Set_intf
»
Check_creators
» 3-Elt
Parameter
Check_creators.3-Elt
type
'a t