Module Fields.Direct

val iter : t -> pk: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'a ) -> sk: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'b ) -> balance: ( ( [< `Read | `Set_and_create ], t, Currency.Balance.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t -> 'c ) -> delegate: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'd ) -> timing: ( ( [< `Read | `Set_and_create ], t, Timed.t option ) Fieldslib.Field.t_with_perm -> t -> Timed.t option -> 'e ) -> token: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'f ) -> token_permissions: ( ( [< `Read | `Set_and_create ], t, Token_permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Token_permissions.t option -> 'g ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> 'h ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'i ) -> voting_for: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'j ) -> zkapp: ( ( [< `Read | `Set_and_create ], t, Zkapp_account.t option ) Fieldslib.Field.t_with_perm -> t -> Zkapp_account.t option -> 'k ) -> permissions: ( ( [< `Read | `Set_and_create ], t, Permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Permissions.t option -> 'l ) -> token_symbol: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'm ) -> 'n
val fold : t -> init:'a -> pk: ( 'b -> ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'c ) -> sk: ( 'd -> ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'e ) -> balance: ( 'f -> ( [< `Read | `Set_and_create ], t, Currency.Balance.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t -> 'g ) -> delegate: ( 'h -> ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'i ) -> timing: ( 'j -> ( [< `Read | `Set_and_create ], t, Timed.t option ) Fieldslib.Field.t_with_perm -> t -> Timed.t option -> 'k ) -> token: ( 'l -> ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'm ) -> token_permissions: ( 'n -> ( [< `Read | `Set_and_create ], t, Token_permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Token_permissions.t option -> 'o ) -> nonce: ( 'p -> ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> 'q ) -> receipt_chain_hash: ( 'r -> ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 's ) -> voting_for: ( 't -> ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'u ) -> zkapp: ( 'v -> ( [< `Read | `Set_and_create ], t, Zkapp_account.t option ) Fieldslib.Field.t_with_perm -> t -> Zkapp_account.t option -> 'w ) -> permissions: ( 'x -> ( [< `Read | `Set_and_create ], t, Permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Permissions.t option -> 'y ) -> token_symbol: ( 'z -> ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'a1 ) -> 'b1
val for_all : t -> pk: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> sk: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> balance: ( ( [< `Read | `Set_and_create ], t, Currency.Balance.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t -> bool ) -> delegate: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> timing: ( ( [< `Read | `Set_and_create ], t, Timed.t option ) Fieldslib.Field.t_with_perm -> t -> Timed.t option -> bool ) -> token: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> token_permissions: ( ( [< `Read | `Set_and_create ], t, Token_permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Token_permissions.t option -> bool ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> bool ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> voting_for: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> zkapp: ( ( [< `Read | `Set_and_create ], t, Zkapp_account.t option ) Fieldslib.Field.t_with_perm -> t -> Zkapp_account.t option -> bool ) -> permissions: ( ( [< `Read | `Set_and_create ], t, Permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Permissions.t option -> bool ) -> token_symbol: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> bool
val exists : t -> pk: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> sk: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> balance: ( ( [< `Read | `Set_and_create ], t, Currency.Balance.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t -> bool ) -> delegate: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> timing: ( ( [< `Read | `Set_and_create ], t, Timed.t option ) Fieldslib.Field.t_with_perm -> t -> Timed.t option -> bool ) -> token: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> token_permissions: ( ( [< `Read | `Set_and_create ], t, Token_permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Token_permissions.t option -> bool ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> bool ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> voting_for: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> zkapp: ( ( [< `Read | `Set_and_create ], t, Zkapp_account.t option ) Fieldslib.Field.t_with_perm -> t -> Zkapp_account.t option -> bool ) -> permissions: ( ( [< `Read | `Set_and_create ], t, Permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Permissions.t option -> bool ) -> token_symbol: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> bool ) -> bool
val to_list : t -> pk: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'a ) -> sk: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'b ) -> balance: ( ( [< `Read | `Set_and_create ], t, Currency.Balance.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t -> 'c ) -> delegate: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'd ) -> timing: ( ( [< `Read | `Set_and_create ], t, Timed.t option ) Fieldslib.Field.t_with_perm -> t -> Timed.t option -> 'e ) -> token: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'f ) -> token_permissions: ( ( [< `Read | `Set_and_create ], t, Token_permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Token_permissions.t option -> 'g ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> 'h ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'i ) -> voting_for: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'j ) -> zkapp: ( ( [< `Read | `Set_and_create ], t, Zkapp_account.t option ) Fieldslib.Field.t_with_perm -> t -> Zkapp_account.t option -> 'k ) -> permissions: ( ( [< `Read | `Set_and_create ], t, Permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Permissions.t option -> 'l ) -> token_symbol: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> 'm ) -> 'n list
val map : t -> pk: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> string option ) -> sk: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> string option ) -> balance: ( ( [< `Read | `Set_and_create ], t, Currency.Balance.t ) Fieldslib.Field.t_with_perm -> t -> Currency.Balance.t -> Currency.Balance.t ) -> delegate: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> string option ) -> timing: ( ( [< `Read | `Set_and_create ], t, Timed.t option ) Fieldslib.Field.t_with_perm -> t -> Timed.t option -> Timed.t option ) -> token: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> string option ) -> token_permissions: ( ( [< `Read | `Set_and_create ], t, Token_permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Token_permissions.t option -> Token_permissions.t option ) -> nonce: ( ( [< `Read | `Set_and_create ], t, Mina_numbers.Account_nonce.t ) Fieldslib.Field.t_with_perm -> t -> Mina_numbers.Account_nonce.t -> Mina_numbers.Account_nonce.t ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> string option ) -> voting_for: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> string option ) -> zkapp: ( ( [< `Read | `Set_and_create ], t, Zkapp_account.t option ) Fieldslib.Field.t_with_perm -> t -> Zkapp_account.t option -> Zkapp_account.t option ) -> permissions: ( ( [< `Read | `Set_and_create ], t, Permissions.t option ) Fieldslib.Field.t_with_perm -> t -> Permissions.t option -> Permissions.t option ) -> token_symbol: ( ( [< `Read | `Set_and_create ], t, string option ) Fieldslib.Field.t_with_perm -> t -> string option -> string option ) -> t
val set_all_mutable_fields : 'a -> unit