`val iter : t ‑> execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> t ‑> Async_kernel.Execution_context.t ‑> 'a) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> t ‑> (unit ‑> Exec_result.t) ‑> 'b) ‑> 'b`
`val fold : t ‑> init:'a ‑> execution_context:('a ‑> ([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> t ‑> Async_kernel.Execution_context.t ‑> 'b) ‑> exec:('b ‑> ([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> t ‑> (unit ‑> Exec_result.t) ‑> 'c) ‑> 'c`
`val for_all : t ‑> execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> t ‑> Async_kernel.Execution_context.t ‑> bool) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> t ‑> (unit ‑> Exec_result.t) ‑> bool) ‑> bool`
`val exists : t ‑> execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> t ‑> Async_kernel.Execution_context.t ‑> bool) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> t ‑> (unit ‑> Exec_result.t) ‑> bool) ‑> bool`
`val to_list : t ‑> execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> t ‑> Async_kernel.Execution_context.t ‑> 'a) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> t ‑> (unit ‑> Exec_result.t) ‑> 'a) ‑> 'a list`
`val map : t ‑> execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> t ‑> Async_kernel.Execution_context.t ‑> Async_kernel.Execution_context.t) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> t ‑> (unit ‑> Exec_result.t) ‑> unit ‑> Exec_result.t) ‑> t`
`val set_all_mutable_fields : 'a ‑> unit`