Module Ecaml__.Var.Fields.Direct

val iter : 'a t ‑> symbol:(('a t, Ecaml.Symbol.t) Fieldslib.Field.t ‑> 'a t ‑> Ecaml.Symbol.t ‑> unit) ‑> type_:(('a t, 'a Ecaml.Value.Type.t) Fieldslib.Field.t ‑> 'a t ‑> 'a Ecaml.Value.Type.t ‑> unit) ‑> unit

val fold : 'a t ‑> init:'acc__0 ‑> symbol:('acc__0 ‑> ('a t, Ecaml.Symbol.t) Fieldslib.Field.t ‑> 'a t ‑> Ecaml.Symbol.t ‑> 'acc__1) ‑> type_:('acc__1 ‑> ('a t, 'a Ecaml.Value.Type.t) Fieldslib.Field.t ‑> 'a t ‑> 'a Ecaml.Value.Type.t ‑> 'acc__2) ‑> 'acc__2

val for_all : 'a t ‑> symbol:(('a t, Ecaml.Symbol.t) Fieldslib.Field.t ‑> 'a t ‑> Ecaml.Symbol.t ‑> bool) ‑> type_:(('a t, 'a Ecaml.Value.Type.t) Fieldslib.Field.t ‑> 'a t ‑> 'a Ecaml.Value.Type.t ‑> bool) ‑> bool

val exists : 'a t ‑> symbol:(('a t, Ecaml.Symbol.t) Fieldslib.Field.t ‑> 'a t ‑> Ecaml.Symbol.t ‑> bool) ‑> type_:(('a t, 'a Ecaml.Value.Type.t) Fieldslib.Field.t ‑> 'a t ‑> 'a Ecaml.Value.Type.t ‑> bool) ‑> bool

val to_list : 'a t ‑> symbol:(('a t, Ecaml.Symbol.t) Fieldslib.Field.t ‑> 'a t ‑> Ecaml.Symbol.t ‑> 'elem__) ‑> type_:(('a t, 'a Ecaml.Value.Type.t) Fieldslib.Field.t ‑> 'a t ‑> 'a Ecaml.Value.Type.t ‑> 'elem__) ‑> 'elem__ list

val map : 'a t ‑> symbol:(('a t, Ecaml.Symbol.t) Fieldslib.Field.t ‑> 'a t ‑> Ecaml.Symbol.t ‑> Ecaml.Symbol.t) ‑> type_:(('a t, 'a Ecaml.Value.Type.t) Fieldslib.Field.t ‑> 'a t ‑> 'a Ecaml.Value.Type.t ‑> 'a Ecaml.Value.Type.t) ‑> 'a t

val set_all_mutable_fields : 'a t ‑> unit