Module Field

ERROR: variant_and_record_intf.ml:265:15-265:16
6:15-6:16 :
text expected


type ('record, 'field) t
val label : ('a, 'b) t -> string
ERROR: variant_and_record_intf.ml:279:8-279:9
4:8-4:9 :
text expected
val index : ('a, 'b) t -> int
ERROR: variant_and_record_intf.ml:289:17-290:0
4:17-5:0 :
text expected
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