Module Record_internal

type _ field =

| Field : ('record, 'a) Field.t -> 'record field

type 'record fields = {

get

: 'field . ('record, 'field) Field.t -> 'field

;

}

type 'a t = {

typename	: 'a Typename.t	;
fields	: 'a field array	;
has_double_array_tag	: bool	;
create	: 'a fields -> 'a	;

}