Module Fields.Direct

val iter : t -> app_state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t -> 'a ) -> delegate: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t -> 'b ) -> verification_key: ( ( [< `Read | `Set_and_create ], t, ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t -> 'c ) -> permissions: ( ( [< `Read | `Set_and_create ], t, Permissions.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Permissions.t Zkapp_basic.Set_or_keep.t -> 'd ) -> zkapp_uri: ( ( [< `Read | `Set_and_create ], t, string Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> string Zkapp_basic.Set_or_keep.t -> 'e ) -> token_symbol: ( ( [< `Read | `Set_and_create ], t, Account.Token_symbol.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Account.Token_symbol.t Zkapp_basic.Set_or_keep.t -> 'f ) -> timing: ( ( [< `Read | `Set_and_create ], t, Timing_info.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Timing_info.t Zkapp_basic.Set_or_keep.t -> 'g ) -> voting_for: ( ( [< `Read | `Set_and_create ], t, State_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> State_hash.t Zkapp_basic.Set_or_keep.t -> 'h ) -> 'i
val fold : t -> init:'a -> app_state: ( 'b -> ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t -> 'c ) -> delegate: ( 'd -> ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t -> 'e ) -> verification_key: ( 'f -> ( [< `Read | `Set_and_create ], t, ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t -> 'g ) -> permissions: ( 'h -> ( [< `Read | `Set_and_create ], t, Permissions.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Permissions.t Zkapp_basic.Set_or_keep.t -> 'i ) -> zkapp_uri: ( 'j -> ( [< `Read | `Set_and_create ], t, string Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> string Zkapp_basic.Set_or_keep.t -> 'k ) -> token_symbol: ( 'l -> ( [< `Read | `Set_and_create ], t, Account.Token_symbol.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Account.Token_symbol.t Zkapp_basic.Set_or_keep.t -> 'm ) -> timing: ( 'n -> ( [< `Read | `Set_and_create ], t, Timing_info.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Timing_info.t Zkapp_basic.Set_or_keep.t -> 'o ) -> voting_for: ( 'p -> ( [< `Read | `Set_and_create ], t, State_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> State_hash.t Zkapp_basic.Set_or_keep.t -> 'q ) -> 'r
val for_all : t -> app_state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t -> bool ) -> delegate: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t -> bool ) -> verification_key: ( ( [< `Read | `Set_and_create ], t, ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t -> bool ) -> permissions: ( ( [< `Read | `Set_and_create ], t, Permissions.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Permissions.t Zkapp_basic.Set_or_keep.t -> bool ) -> zkapp_uri: ( ( [< `Read | `Set_and_create ], t, string Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> string Zkapp_basic.Set_or_keep.t -> bool ) -> token_symbol: ( ( [< `Read | `Set_and_create ], t, Account.Token_symbol.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Account.Token_symbol.t Zkapp_basic.Set_or_keep.t -> bool ) -> timing: ( ( [< `Read | `Set_and_create ], t, Timing_info.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Timing_info.t Zkapp_basic.Set_or_keep.t -> bool ) -> voting_for: ( ( [< `Read | `Set_and_create ], t, State_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> State_hash.t Zkapp_basic.Set_or_keep.t -> bool ) -> bool
val exists : t -> app_state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t -> bool ) -> delegate: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t -> bool ) -> verification_key: ( ( [< `Read | `Set_and_create ], t, ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t -> bool ) -> permissions: ( ( [< `Read | `Set_and_create ], t, Permissions.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Permissions.t Zkapp_basic.Set_or_keep.t -> bool ) -> zkapp_uri: ( ( [< `Read | `Set_and_create ], t, string Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> string Zkapp_basic.Set_or_keep.t -> bool ) -> token_symbol: ( ( [< `Read | `Set_and_create ], t, Account.Token_symbol.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Account.Token_symbol.t Zkapp_basic.Set_or_keep.t -> bool ) -> timing: ( ( [< `Read | `Set_and_create ], t, Timing_info.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Timing_info.t Zkapp_basic.Set_or_keep.t -> bool ) -> voting_for: ( ( [< `Read | `Set_and_create ], t, State_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> State_hash.t Zkapp_basic.Set_or_keep.t -> bool ) -> bool
val to_list : t -> app_state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t -> 'a ) -> delegate: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t -> 'b ) -> verification_key: ( ( [< `Read | `Set_and_create ], t, ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t -> 'c ) -> permissions: ( ( [< `Read | `Set_and_create ], t, Permissions.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Permissions.t Zkapp_basic.Set_or_keep.t -> 'd ) -> zkapp_uri: ( ( [< `Read | `Set_and_create ], t, string Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> string Zkapp_basic.Set_or_keep.t -> 'e ) -> token_symbol: ( ( [< `Read | `Set_and_create ], t, Account.Token_symbol.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Account.Token_symbol.t Zkapp_basic.Set_or_keep.t -> 'f ) -> timing: ( ( [< `Read | `Set_and_create ], t, Timing_info.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Timing_info.t Zkapp_basic.Set_or_keep.t -> 'g ) -> voting_for: ( ( [< `Read | `Set_and_create ], t, State_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> State_hash.t Zkapp_basic.Set_or_keep.t -> 'h ) -> 'i list
val map : t -> app_state: ( ( [< `Read | `Set_and_create ], t, Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t ) Fieldslib.Field.t_with_perm -> t -> Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t -> Zkapp_basic.F.t Zkapp_basic.Set_or_keep.t Zkapp_state.V.t ) -> delegate: ( ( [< `Read | `Set_and_create ], t, Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t -> Signature_lib.Public_key.Compressed.t Zkapp_basic.Set_or_keep.t ) -> verification_key: ( ( [< `Read | `Set_and_create ], t, ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t -> ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t Zkapp_basic.Set_or_keep.t ) -> permissions: ( ( [< `Read | `Set_and_create ], t, Permissions.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Permissions.t Zkapp_basic.Set_or_keep.t -> Permissions.t Zkapp_basic.Set_or_keep.t ) -> zkapp_uri: ( ( [< `Read | `Set_and_create ], t, string Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> string Zkapp_basic.Set_or_keep.t -> string Zkapp_basic.Set_or_keep.t ) -> token_symbol: ( ( [< `Read | `Set_and_create ], t, Account.Token_symbol.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Account.Token_symbol.t Zkapp_basic.Set_or_keep.t -> Account.Token_symbol.t Zkapp_basic.Set_or_keep.t ) -> timing: ( ( [< `Read | `Set_and_create ], t, Timing_info.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> Timing_info.t Zkapp_basic.Set_or_keep.t -> Timing_info.t Zkapp_basic.Set_or_keep.t ) -> voting_for: ( ( [< `Read | `Set_and_create ], t, State_hash.t Zkapp_basic.Set_or_keep.t ) Fieldslib.Field.t_with_perm -> t -> State_hash.t Zkapp_basic.Set_or_keep.t -> State_hash.t Zkapp_basic.Set_or_keep.t ) -> t
val set_all_mutable_fields : 'a -> unit