Module Fields.Direct

val iter : t -> ledger_index: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> block_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'b ) -> account_identifier_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> token_symbol_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'd ) -> balance: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'e ) -> nonce: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'f ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'g ) -> delegate_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'h ) -> voting_for_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'i ) -> timing_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'j ) -> permissions_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'k ) -> zkapp_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'l ) -> 'm
val fold : t -> init:'a -> ledger_index: ( 'b -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> block_id: ( 'd -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> account_identifier_id: ( 'f -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'g ) -> token_symbol_id: ( 'h -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'i ) -> balance: ( 'j -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'k ) -> nonce: ( 'l -> ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'm ) -> receipt_chain_hash: ( 'n -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'o ) -> delegate_id: ( 'p -> ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'q ) -> voting_for_id: ( 'r -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 's ) -> timing_id: ( 't -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'u ) -> permissions_id: ( 'v -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'w ) -> zkapp_id: ( 'x -> ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'y ) -> 'z
val for_all : t -> ledger_index: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> block_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> account_identifier_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> token_symbol_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> balance: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> nonce: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> delegate_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> voting_for_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> timing_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> permissions_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> zkapp_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> bool
val exists : t -> ledger_index: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> block_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> account_identifier_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> token_symbol_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> balance: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> nonce: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> delegate_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> voting_for_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> timing_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> permissions_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> zkapp_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> bool
val to_list : t -> ledger_index: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> block_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'b ) -> account_identifier_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> token_symbol_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'd ) -> balance: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'e ) -> nonce: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'f ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'g ) -> delegate_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'h ) -> voting_for_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'i ) -> timing_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'j ) -> permissions_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'k ) -> zkapp_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'l ) -> 'm list
val map : t -> ledger_index: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> block_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> account_identifier_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> token_symbol_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> balance: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> nonce: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> int64 ) -> receipt_chain_hash: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> delegate_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> int option ) -> voting_for_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> timing_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> permissions_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> zkapp_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> int option ) -> t
val set_all_mutable_fields : 'a -> unit