Links

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.
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));