Up – core_kernel » Core_kernel » Set_intf » Check_accessors » 3-Elt

Parameter `Check_accessors.3-Elt`

type 'a t