`val iter : t ‑> pred:(([< `Read | `Set_and_create ], t, Core_bench.Variable.t) Fieldslib.Field.t_with_perm ‑> t ‑> Core_bench.Variable.t ‑> 'a) ‑> coefficient:(([< `Read | `Set_and_create ], t, Coefficient.t) Fieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> 'b) ‑> 'b`
`val fold : t ‑> init:'a ‑> pred:('a ‑> ([< `Read | `Set_and_create ], t, Core_bench.Variable.t) Fieldslib.Field.t_with_perm ‑> t ‑> Core_bench.Variable.t ‑> 'b) ‑> coefficient:('b ‑> ([< `Read | `Set_and_create ], t, Coefficient.t) Fieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> 'c) ‑> 'c`
`val for_all : t ‑> pred:(([< `Read | `Set_and_create ], t, Core_bench.Variable.t) Fieldslib.Field.t_with_perm ‑> t ‑> Core_bench.Variable.t ‑> bool) ‑> coefficient:(([< `Read | `Set_and_create ], t, Coefficient.t) Fieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> bool) ‑> bool`
`val exists : t ‑> pred:(([< `Read | `Set_and_create ], t, Core_bench.Variable.t) Fieldslib.Field.t_with_perm ‑> t ‑> Core_bench.Variable.t ‑> bool) ‑> coefficient:(([< `Read | `Set_and_create ], t, Coefficient.t) Fieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> bool) ‑> bool`
`val to_list : t ‑> pred:(([< `Read | `Set_and_create ], t, Core_bench.Variable.t) Fieldslib.Field.t_with_perm ‑> t ‑> Core_bench.Variable.t ‑> 'a) ‑> coefficient:(([< `Read | `Set_and_create ], t, Coefficient.t) Fieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> 'a) ‑> 'a list`
`val map : t ‑> pred:(([< `Read | `Set_and_create ], t, Core_bench.Variable.t) Fieldslib.Field.t_with_perm ‑> t ‑> Core_bench.Variable.t ‑> Core_bench.Variable.t) ‑> coefficient:(([< `Read | `Set_and_create ], t, Coefficient.t) Fieldslib.Field.t_with_perm ‑> t ‑> Coefficient.t ‑> Coefficient.t) ‑> t`
`val set_all_mutable_fields : 'a ‑> unit`