Module Fields.Direct

val iter : t -> account_identifier_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> update_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'b ) -> balance_change: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'c ) -> increment_nonce: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> 'd ) -> events_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> sequence_events_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'f ) -> call_data_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'g ) -> call_depth: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'h ) -> zkapp_network_precondition_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'i ) -> zkapp_account_precondition_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'j ) -> use_full_commitment: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> 'k ) -> caller: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'l ) -> authorization_kind: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'm ) -> 'n
val fold : t -> init:'a -> account_identifier_id: ( 'b -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> update_id: ( 'd -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> balance_change: ( 'f -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'g ) -> increment_nonce: ( 'h -> ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> 'i ) -> events_id: ( 'j -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'k ) -> sequence_events_id: ( 'l -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'm ) -> call_data_id: ( 'n -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'o ) -> call_depth: ( 'p -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'q ) -> zkapp_network_precondition_id: ( 'r -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 's ) -> zkapp_account_precondition_id: ( 't -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'u ) -> use_full_commitment: ( 'v -> ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> 'w ) -> caller: ( 'x -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'y ) -> authorization_kind: ( 'z -> ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'a1 ) -> 'b1
val for_all : t -> account_identifier_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> update_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> balance_change: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> increment_nonce: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> bool ) -> events_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> sequence_events_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> call_data_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> call_depth: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> zkapp_network_precondition_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> zkapp_account_precondition_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> use_full_commitment: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> bool ) -> caller: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> authorization_kind: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> bool
val exists : t -> account_identifier_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> update_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> balance_change: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> increment_nonce: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> bool ) -> events_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> sequence_events_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> call_data_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> call_depth: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> zkapp_network_precondition_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> zkapp_account_precondition_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> use_full_commitment: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> bool ) -> caller: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> authorization_kind: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> bool ) -> bool
val to_list : t -> account_identifier_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> update_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'b ) -> balance_change: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'c ) -> increment_nonce: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> 'd ) -> events_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'e ) -> sequence_events_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'f ) -> call_data_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'g ) -> call_depth: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'h ) -> zkapp_network_precondition_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'i ) -> zkapp_account_precondition_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'j ) -> use_full_commitment: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> 'k ) -> caller: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'l ) -> authorization_kind: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> 'm ) -> 'n list
val map : t -> account_identifier_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> update_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> balance_change: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> increment_nonce: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> bool ) -> events_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> sequence_events_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> call_data_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> call_depth: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> zkapp_network_precondition_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> zkapp_account_precondition_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> use_full_commitment: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> bool ) -> caller: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> authorization_kind: ( ( [< `Read | `Set_and_create ], t, string ) Fieldslib.Field.t_with_perm -> t -> string -> string ) -> t
val set_all_mutable_fields : 'a -> unit