Account

module Contract

let address: (n: nat) => address

Returns the address of the nth bootstrapped account.

let alice: (_: unit) => address

Returns the address of the 0th bootstrapped account.

let bob: (_: unit) => address

Returns the address of the 1st bootstrapped account.

let carol: (_: unit) => address

Returns the address of the 2nd bootstrapped account.

let dan: (_: unit) => address

Returns the address of the 3rd bootstrapped account.

let add: (_: string) => (_: key) => unit

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

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

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

Returns the address information of the nth bootstrapped account.

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

Creates and returns information of a new account.