Signer.md

Module 0x1::Signer

• Function borrow_address
• Function address_of

Function borrow_address

public fun borrow_address(s: &signer): &address

Implementation

native public fun borrow_address(s: &signer): &address;

Function address_of

public fun address_of(s: &signer): address

Implementation

public fun address_of(s: &signer): address {
    *borrow_address(s)
}

Specification

pragma opaque;
aborts_if false;
ensures result == spec_address_of(s);

Specification version of Self::address_of.

native define spec_address_of(account: signer): address;