Up
–
core_kernel
»
Core_kernel__
»
Set_intf
»
Check_accessors
» 6-Options
Parameter
Check_accessors.6-Options
type
('a, 'b, 'c) t