Module Fields.Direct

val iter : t -> block_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> zkapp_command_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'b ) -> sequence_no: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> status: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'd ) -> failure_reasons_ids: ( ( [< `Read | `Set_and_create ], t, int array option ) Fieldslib.Field.t_with_perm -> t -> int array option -> 'e ) -> 'f
val fold : t -> init:'a -> block_id: ( 'b -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> zkapp_command_id: ( 'd -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> sequence_no: ( 'f -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'g ) -> status: ( 'h -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'i ) -> failure_reasons_ids: ( 'j -> ( [< `Read | `Set_and_create ], t, int array option ) Fieldslib.Field.t_with_perm -> t -> int array option -> 'k ) -> 'l
val for_all : t -> block_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> zkapp_command_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> sequence_no: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> status: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> failure_reasons_ids: ( ( [< `Read | `Set_and_create ], t, int array option ) Fieldslib.Field.t_with_perm -> t -> int array option -> bool ) -> bool
val exists : t -> block_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> zkapp_command_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> sequence_no: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> status: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> failure_reasons_ids: ( ( [< `Read | `Set_and_create ], t, int array option ) Fieldslib.Field.t_with_perm -> t -> int array option -> bool ) -> bool
val to_list : t -> block_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> zkapp_command_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'b ) -> sequence_no: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> status: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'd ) -> failure_reasons_ids: ( ( [< `Read | `Set_and_create ], t, int array option ) Fieldslib.Field.t_with_perm -> t -> int array option -> 'e ) -> 'f list
val map : t -> block_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> zkapp_command_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> sequence_no: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> status: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> failure_reasons_ids: ( ( [< `Read | `Set_and_create ], t, int array option ) Fieldslib.Field.t_with_perm -> t -> int array option -> int array option ) -> t
val set_all_mutable_fields : 'a -> unit