account

module contract

address: (n: nat) => address

Returns the address of the nth bootstrapped account.

alice: (_: unit) => address

Returns the address of the 0th bootstrapped account.

bob: (_: unit) => address

Returns the address of the 1st bootstrapped account.

carol: (_: unit) => address

Returns the address of the 2nd bootstrapped account.

dan: (_: unit) => address

Returns the address of the 3rd bootstrapped account.

add: (public: string, secret: key) => unit

Adds an account specfied by secret key & public key to the test context.

type info = { addr: address; pk: key; sk: string }

info: (_: nat) => Test.Account.info

Returns the address information of the nth bootstrapped account.

new: (_: unit) => Test.Account.info

Creates and returns information of a new account.