`val names : string list`
`val exec : ([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm`
`val execution_context : ([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm`
`val make_creator : execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> 'a ‑> ('b ‑> Async_kernel.Execution_context.t) * 'c) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> 'c ‑> ('b ‑> unit ‑> Exec_result.t) * 'd) ‑> 'a ‑> ('b ‑> t) * 'd`
`val create : execution_context:Async_kernel.Execution_context.t ‑> exec:(unit ‑> Exec_result.t) ‑> t`
`val map : execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> Async_kernel.Execution_context.t) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> unit ‑> Exec_result.t) ‑> t`
`val iter : execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> unit) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> unit) ‑> unit`
`val fold : init:'a ‑> execution_context:('a ‑> ([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> 'b) ‑> exec:('b ‑> ([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> 'c) ‑> 'c`
`val map_poly : ([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user ‑> 'a list`
`val for_all : execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> bool) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> bool) ‑> bool`
`val exists : execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> bool) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> bool) ‑> bool`
`val to_list : execution_context:(([< `Read | `Set_and_create ], t, Async_kernel.Execution_context.t) Fieldslib.Field.t_with_perm ‑> 'a) ‑> exec:(([< `Read | `Set_and_create ], t, unit ‑> Exec_result.t) Fieldslib.Field.t_with_perm ‑> 'a) ‑> 'a list`
`module Direct : sig ... end`