module Field:sig
..end
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