Account.Permissionsval edit_state : t -> Controller.tval send : t -> Controller.tval receive : t -> Controller.tval set_delegate : t -> Controller.tval set_permissions : t -> Controller.tval set_verification_key : t -> Controller.tval set_zkapp_uri : t -> Controller.tval edit_sequence_state : t -> Controller.tval set_token_symbol : t -> Controller.tval increment_nonce : t -> Controller.tval set_voting_for : t -> Controller.t