sig
  type ('record, 'field) t
  val label : ('a, 'b) Variant_and_record_intf.M.??.-> string
  val index : ('a, 'b) Variant_and_record_intf.M.??.-> int
  val get :
    ('record, 'field) Variant_and_record_intf.M.??.-> 'record -> 'field
  val tyid : ('a, 'field) Variant_and_record_intf.M.??.-> 'field Typename.t
  val traverse : ('a, 'field) Variant_and_record_intf.M.??.-> '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