# 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