Parameter Core_kernel__.Set_intf.Check_accessors.6-Options

type ('a, 'b, 'c) t