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