Module Generic_core_desc.Field.T

module T: sig .. end

Module suitable for open.

Field. The type ('a,'r) t describes a field of type 'a for the record 'r. Each field has a name, a type witness ty, a procedure set to change the field if it is mutable.

type ('a, 'r) field = {

`name : string;`	`(*`	name of the field	`*)`
`ty : 'a Ty.T.ty;`	`(*`	type of the field	`*)`
`set : ('r -> 'a -> unit) option;`	`(*`	procedure for updating the field if it is mutable	`*)`

}

Field. The type ('t,'r) field describes a field of type 't for the record 'r. Each field has a name, a type witness ty, a procedure set to change the field if it is mutable.