Module Fields.Direct

val iter : t -> app_state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> verification_key_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'b ) -> zkapp_version: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'c ) -> sequence_state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'd ) -> last_sequence_slot: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'e ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> 'f ) -> zkapp_uri_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'g ) -> 'h
val fold : t -> init:'a -> app_state_id: ( 'b -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'c ) -> verification_key_id: ( 'd -> ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'e ) -> zkapp_version: ( 'f -> ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'g ) -> sequence_state_id: ( 'h -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'i ) -> last_sequence_slot: ( 'j -> ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'k ) -> proved_state: ( 'l -> ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> 'm ) -> zkapp_uri_id: ( 'n -> ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'o ) -> 'p
val for_all : t -> app_state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> verification_key_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> zkapp_version: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> sequence_state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> last_sequence_slot: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> bool ) -> zkapp_uri_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> bool
val exists : t -> app_state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> verification_key_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> bool ) -> zkapp_version: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> sequence_state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> last_sequence_slot: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> bool ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> bool ) -> zkapp_uri_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> bool ) -> bool
val to_list : t -> app_state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'a ) -> verification_key_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> 'b ) -> zkapp_version: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'c ) -> sequence_state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'd ) -> last_sequence_slot: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> 'e ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> 'f ) -> zkapp_uri_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> 'g ) -> 'h list
val map : t -> app_state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> verification_key_id: ( ( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_perm -> t -> int option -> int option ) -> zkapp_version: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> int64 ) -> sequence_state_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> last_sequence_slot: ( ( [< `Read | `Set_and_create ], t, int64 ) Fieldslib.Field.t_with_perm -> t -> int64 -> int64 ) -> proved_state: ( ( [< `Read | `Set_and_create ], t, bool ) Fieldslib.Field.t_with_perm -> t -> bool -> bool ) -> zkapp_uri_id: ( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm -> t -> int -> int ) -> t
val set_all_mutable_fields : 'a -> unit