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