Module Fields.Direct

val iter : t -> balance: ( ( [< `Read | `Set_and_create ], t, Currency.Balance.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t Numeric.t -> 'a ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t Numeric.t -> 'b ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, Receipt.Chain_hash.t Hash.t ) Fieldslib.Field.t_with_perm -> t -> Receipt.Chain_hash.t Hash.t -> 'c ) -> delegate: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Eq_data.t -> 'd ) -> state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t -> 'e ) -> sequence_state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t -> 'f ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> 'g ) -> is_new: ( ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> 'h ) -> 'i
val fold : t -> init:'a -> balance: ( 'b -> ( [< `Read | `Set_and_create ], t, Currency.Balance.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t Numeric.t -> 'c ) -> nonce: ( 'd -> ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t Numeric.t -> 'e ) -> receipt_chain_hash: ( 'f -> ( [< `Read | `Set_and_create ], t, Receipt.Chain_hash.t Hash.t ) Fieldslib.Field.t_with_perm -> t -> Receipt.Chain_hash.t Hash.t -> 'g ) -> delegate: ( 'h -> ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Eq_data.t -> 'i ) -> state: ( 'j -> ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t -> 'k ) -> sequence_state: ( 'l -> ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t -> 'm ) -> proved_state: ( 'n -> ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> 'o ) -> is_new: ( 'p -> ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> 'q ) -> 'r
val for_all : t -> balance: ( ( [< `Read | `Set_and_create ], t, Currency.Balance.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t Numeric.t -> bool ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t Numeric.t -> bool ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, Receipt.Chain_hash.t Hash.t ) Fieldslib.Field.t_with_perm -> t -> Receipt.Chain_hash.t Hash.t -> bool ) -> delegate: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Eq_data.t -> bool ) -> state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t -> bool ) -> sequence_state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t -> bool ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> bool ) -> is_new: ( ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> bool ) -> bool
val exists : t -> balance: ( ( [< `Read | `Set_and_create ], t, Currency.Balance.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t Numeric.t -> bool ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t Numeric.t -> bool ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, Receipt.Chain_hash.t Hash.t ) Fieldslib.Field.t_with_perm -> t -> Receipt.Chain_hash.t Hash.t -> bool ) -> delegate: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Eq_data.t -> bool ) -> state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t -> bool ) -> sequence_state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t -> bool ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> bool ) -> is_new: ( ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> bool ) -> bool
val to_list : t -> balance: ( ( [< `Read | `Set_and_create ], t, Currency.Balance.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t Numeric.t -> 'a ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t Numeric.t -> 'b ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, Receipt.Chain_hash.t Hash.t ) Fieldslib.Field.t_with_perm -> t -> Receipt.Chain_hash.t Hash.t -> 'c ) -> delegate: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Eq_data.t -> 'd ) -> state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t -> 'e ) -> sequence_state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t -> 'f ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> 'g ) -> is_new: ( ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> 'h ) -> 'i list
val map : t -> balance: ( ( [< `Read | `Set_and_create ], t, Currency.Balance.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t Numeric.t -> Currency.Balance.t Numeric.t ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t Numeric.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t Numeric.t -> Mina_numbers.Account_nonce.t Numeric.t ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, Receipt.Chain_hash.t Hash.t ) Fieldslib.Field.t_with_perm -> t -> Receipt.Chain_hash.t Hash.t -> Receipt.Chain_hash.t Hash.t ) -> delegate: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Eq_data.t -> Signature_lib.Public_key.Compressed.t Eq_data.t ) -> state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t -> Zkapp_basic.F.t Eq_data.t Zkapp_state.V.t ) -> sequence_state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Eq_data.t -> Zkapp_basic.F.t Eq_data.t ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> bool Eq_data.t ) -> is_new: ( ( [< `Read | `Set_and_create ], t, bool Eq_data.t ) Fieldslib.Field.t_with_perm -> t -> bool Eq_data.t -> bool Eq_data.t ) -> t
val set_all_mutable_fields : 'a -> unit