Module Fields.Direct

val iter : t -> element0: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> element1: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'b ) -> element2: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> element3: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'd ) -> element4: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> element5: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'f ) -> element6: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'g ) -> element7: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'h ) -> 'i
val fold : t -> init:'a -> element0: ( 'b -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> element1: ( 'd -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> element2: ( 'f -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'g ) -> element3: ( 'h -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'i ) -> element4: ( 'j -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'k ) -> element5: ( 'l -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'm ) -> element6: ( 'n -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'o ) -> element7: ( 'p -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'q ) -> 'r
val for_all : t -> element0: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element1: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element2: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element3: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element4: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element5: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element6: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element7: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> bool
val exists : t -> element0: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element1: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element2: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element3: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element4: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element5: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element6: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> element7: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> bool
val to_list : t -> element0: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> element1: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'b ) -> element2: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> element3: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'd ) -> element4: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> element5: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'f ) -> element6: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'g ) -> element7: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'h ) -> 'i list
val map : t -> element0: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> element1: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> element2: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> element3: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> element4: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> element5: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> element6: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> element7: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> t
val set_all_mutable_fields : 'a -> unit