`val iter : 'a t ‑> values:(([< `Read | `Set_and_create ], 'b t, 'b array) Fieldslib.Field.t_with_perm ‑> 'a t ‑> 'a array ‑> 'c) ‑> len:(([< `Read | `Set_and_create ], 'd t, int) Fieldslib.Field.t_with_perm ‑> 'a t ‑> int ‑> 'e) ‑> 'e`
`val fold : 'a t ‑> init:'b ‑> values:('b ‑> ([< `Read | `Set_and_create ], 'c t, 'c array) Fieldslib.Field.t_with_perm ‑> 'a t ‑> 'a array ‑> 'd) ‑> len:('d ‑> ([< `Read | `Set_and_create ], 'e t, int) Fieldslib.Field.t_with_perm ‑> 'a t ‑> int ‑> 'f) ‑> 'f`
`val for_all : 'a t ‑> values:(([< `Read | `Set_and_create ], 'b t, 'b array) Fieldslib.Field.t_with_perm ‑> 'a t ‑> 'a array ‑> bool) ‑> len:(([< `Read | `Set_and_create ], 'c t, int) Fieldslib.Field.t_with_perm ‑> 'a t ‑> int ‑> bool) ‑> bool`
`val exists : 'a t ‑> values:(([< `Read | `Set_and_create ], 'b t, 'b array) Fieldslib.Field.t_with_perm ‑> 'a t ‑> 'a array ‑> bool) ‑> len:(([< `Read | `Set_and_create ], 'c t, int) Fieldslib.Field.t_with_perm ‑> 'a t ‑> int ‑> bool) ‑> bool`
`val to_list : 'a t ‑> values:(([< `Read | `Set_and_create ], 'b t, 'b array) Fieldslib.Field.t_with_perm ‑> 'a t ‑> 'a array ‑> 'c) ‑> len:(([< `Read | `Set_and_create ], 'd t, int) Fieldslib.Field.t_with_perm ‑> 'a t ‑> int ‑> 'c) ‑> 'c list`
`val map : 'a t ‑> values:(([< `Read | `Set_and_create ], 'b t, 'b array) Fieldslib.Field.t_with_perm ‑> 'a t ‑> 'a array ‑> 'c array) ‑> len:(([< `Read | `Set_and_create ], 'd t, int) Fieldslib.Field.t_with_perm ‑> 'a t ‑> int ‑> int) ‑> 'c t`
`val set_all_mutable_fields : 'a t ‑> len:int ‑> unit`