Module Fields.Direct

val iter : t -> zkapp_fee_payer_body_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> zkapp_account_updates_ids: ( ( [< `Read | `Set_and_create ], t, int array ) Fieldslib.Field.t_with_perm -> t -> int array -> 'b ) -> memo: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'c ) -> hash: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'd ) -> 'e
val fold : t -> init:'a -> zkapp_fee_payer_body_id: ( 'b -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> zkapp_account_updates_ids: ( 'd -> ( [< `Read | `Set_and_create ], t, int array ) Fieldslib.Field.t_with_perm -> t -> int array -> 'e ) -> memo: ( 'f -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'g ) -> hash: ( 'h -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'i ) -> 'j
val for_all : t -> zkapp_fee_payer_body_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> zkapp_account_updates_ids: ( ( [< `Read | `Set_and_create ], t, int array ) Fieldslib.Field.t_with_perm -> t -> int array -> bool ) -> memo: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> hash: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> bool
val exists : t -> zkapp_fee_payer_body_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> zkapp_account_updates_ids: ( ( [< `Read | `Set_and_create ], t, int array ) Fieldslib.Field.t_with_perm -> t -> int array -> bool ) -> memo: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> hash: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> bool
val to_list : t -> zkapp_fee_payer_body_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> zkapp_account_updates_ids: ( ( [< `Read | `Set_and_create ], t, int array ) Fieldslib.Field.t_with_perm -> t -> int array -> 'b ) -> memo: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'c ) -> hash: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'd ) -> 'e list
val map : t -> zkapp_fee_payer_body_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> zkapp_account_updates_ids: ( ( [< `Read | `Set_and_create ], t, int array ) Fieldslib.Field.t_with_perm -> t -> int array -> int array ) -> memo: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> hash: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> t
val set_all_mutable_fields : 'a -> unit