Module Typerep_lib.Type_generic.S.Computation.Field

type ('record, 'field) t
val label : ('a, 'b) t ‑> string
val index : ('a, 'b) t ‑> int
val get : ('record, 'field) t ‑> 'record ‑> 'field

Field accessors. This corresponds to the dot operation. Field.get bar_field t returns the field bar of the record value t, just the same as t.bar

val is_mutable : ('a, 'b) t ‑> bool

return whether the field is mutable, i.e. whether its declaration is prefixed with the keyword mutable

val tyid : ('a, 'field) t ‑> 'field Typename.t

return the type_name of the arguments. Might be used to perform some lookup based on it

val traverse : ('a, 'field) t ‑> 'field t

get the computation of the arguments

val internal_use_only : ('a, 'b) Field_internal.t ‑> ('a, 'b) t