tortuga_governance::staked_aptos

Module 0xc0ded0c2::staked_aptos_coin
tortuga::staked_aptos_coin
This module stores the StakedAptosCoin struct, which is used as a CoinType to track tAPT coins.
​tortuga::staked_aptos_coin​
​Struct StakedAptosCoin​
​Function register_for_t_apt​
use 0x1::coin;
use 0x1::signer;
Struct StakedAptosCoin
The struct to track tAPT coins.
struct StakedAptosCoin
Fields
dummy_field: bool
Function register_for_t_apt
Register the account to accept StakeAptosCoin.
public fun register_for_t_apt(account: &signer)
Implementation
public fun register_for_t_apt(account: &signer) {
    let account_address = signer::address_of(account);
    if (!coin::is_account_registered<StakedAptosCoin>(account_address)) {
        coin::register<StakedAptosCoin>(account);
    };
}
Specification
ensures exists<coin::CoinStore<StakedAptosCoin>>(signer::address_of(account));

governance::utils

tortuga_governance::tortuga_governance

Last modified 7mo ago

tortuga_governance::staked_aptos

Module `0xc0ded0c2::staked_aptos_coin`

`tortuga::staked_aptos_coin`

Struct `StakedAptosCoin`

Function `register_for_t_apt`