Module Generic_core_desc.Field

module Field: sig .. end

Generic representation of a record field.

module T: sig .. end

Module suitable for open.

type ('a, 'r) t = ('a, 'r) T.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	`*)`

}

val is_mutable : ('t, 'r) t -> bool

Returns true iff the given field mutable, i.e. is_mutable f = f.set != None