sig
  type ('record, 'field) t = {
    label : string;
    rep : 'field X.t;
    index : int;
    tyid : 'field Typename.t;
    get : 'record -> 'field;
  }
end