Module Variant_and_record_intf.M.Field

module Field: sig .. end
Witness of a field, that is an item in a record type. The first parameter is the record type, the second is the type of the field. Example:

type t = { x : int ; y : string }

This type has two fields. for each of them we'll have a corresponding Field.t

val field_x : (t, int) Field.t val field_y : (t, string) Field.t


include Field_internal
val label : ('a, 'b) t -> string
val index : ('a, 'b) t -> int
val get : ('a, 'b) t -> 'a -> 'b
val tyid : ('a, 'b) t -> 'b Typename.t
val traverse : ('a, 'b) t -> 'b X.t
val internal_use_only : 'a -> 'a