`sig
type ('record, 'field) t
val label : ('a, 'b) Variant_and_record_intf.M.??.t -> string
val index : ('a, 'b) Variant_and_record_intf.M.??.t -> int
val get :
('record, 'field) Variant_and_record_intf.M.??.t -> 'record -> 'field
val tyid : ('a, 'field) Variant_and_record_intf.M.??.t -> 'field Typename.t
val traverse : ('a, 'field) Variant_and_record_intf.M.??.t -> 'field X.t
val internal_use_only :
('a, 'b) Variant_and_record_intf.M.Field_internal.t ->
('a, 'b) Variant_and_record_intf.M.??.t
end`