Module Fields.Direct

val iter : 'a t -> var:(([< `Read | `Set_and_create ], 'b t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> 'a t -> Ecaml__.Import.Function.t list Ecaml.Var.t -> 'c) -> hook_type:(([< `Read | `Set_and_create ], 'd t, 'd Hook_type.t) Fieldslib.Field.t_with_perm -> 'a t -> 'a Hook_type.t -> 'e) -> 'e
val fold : 'a t -> init:'b -> var:('b -> ([< `Read | `Set_and_create ], 'c t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> 'a t -> Ecaml__.Import.Function.t list Ecaml.Var.t -> 'd) -> hook_type:('d -> ([< `Read | `Set_and_create ], 'e t, 'e Hook_type.t) Fieldslib.Field.t_with_perm -> 'a t -> 'a Hook_type.t -> 'f) -> 'f
val for_all : 'a t -> var:(([< `Read | `Set_and_create ], 'b t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> 'a t -> Ecaml__.Import.Function.t list Ecaml.Var.t -> bool) -> hook_type:(([< `Read | `Set_and_create ], 'c t, 'c Hook_type.t) Fieldslib.Field.t_with_perm -> 'a t -> 'a Hook_type.t -> bool) -> bool
val exists : 'a t -> var:(([< `Read | `Set_and_create ], 'b t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> 'a t -> Ecaml__.Import.Function.t list Ecaml.Var.t -> bool) -> hook_type:(([< `Read | `Set_and_create ], 'c t, 'c Hook_type.t) Fieldslib.Field.t_with_perm -> 'a t -> 'a Hook_type.t -> bool) -> bool
val to_list : 'a t -> var:(([< `Read | `Set_and_create ], 'b t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> 'a t -> Ecaml__.Import.Function.t list Ecaml.Var.t -> 'c) -> hook_type:(([< `Read | `Set_and_create ], 'd t, 'd Hook_type.t) Fieldslib.Field.t_with_perm -> 'a t -> 'a Hook_type.t -> 'c) -> 'c list
val map : 'a t -> var:(([< `Read | `Set_and_create ], 'b t, Ecaml__.Import.Function.t list Ecaml.Var.t) Fieldslib.Field.t_with_perm -> 'a t -> Ecaml__.Import.Function.t list Ecaml.Var.t -> Ecaml__.Import.Function.t list Ecaml.Var.t) -> hook_type:(([< `Read | `Set_and_create ], 'c t, 'c Hook_type.t) Fieldslib.Field.t_with_perm -> 'a t -> 'a Hook_type.t -> 'd Hook_type.t) -> 'd t
val set_all_mutable_fields : 'a -> unit