# Module `0x1::signer` - [Function `borrow_address`](#0x1_signer_borrow_address) - [Function `address_of`](#0x1_signer_address_of) - [Module Specification](#@Module_Specification_0)

## 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)
}

## Module Specification Return true only if s is a transaction signer. This is a spec function only available in spec.

native fun is_txn_signer(s: signer): bool;

Return true only if a is a transaction signer address. This is a spec function only available in spec.

native fun is_txn_signer_addr(a: address): bool;

[//]: # ("File containing references which can be used from documentation")