v0 state

Red

Tokens are exported so an importing realm can read them directly; the ledgers stay private, since they carry unrestricted mint and burn.

Blue

Tokens are exported so an importing realm can read them directly; the ledgers stay private, since they carry unrestricted mint and burn.

redLedger

Tokens are exported so an importing realm can read them directly; the ledgers stay private, since they carry unrestricted mint and burn.

blueLedger

Tokens are exported so an importing realm can read them directly; the ledgers stay private, since they carry unrestricted mint and burn.

RedKey

Tokens are exported so an importing realm can read them directly; the ledgers stay private, since they carry unrestricted mint and burn.

BlueKey

Tokens are exported so an importing realm can read them directly; the ledgers stay private, since they carry unrestricted mint and burn.

lastClaim

// address -> block height of its last claim

decimals

ClaimAmount

ClaimEvery

init.10

Claim

Claim mints ClaimAmount of both RED and BLUE to the caller.

NextClaim

NextClaim returns the block height at which \`who\` may claim again, and whether they have ever claimed at all.

Transfer

Transfer moves the caller's own units of \`symbol\`.

Approve

Approve lets \`spender\` draw \`amount\` of \`symbol\` from the caller's balance. This is the call that makes every wrapper in grc20wrapdemo work: the wrapper realm has no authority over anybody's tokens until its address is named here.

TransferFrom

TransferFrom spends an allowance the caller was granted.

BalanceOf

BalanceOf returns \`owner\`'s balance of \`symbol\`.

Allowance

Allowance returns what \`owner\` let \`spender\` draw of \`symbol\`.

TotalSupply

TotalSupply returns how much of \`symbol\` has been claimed so far.

tokenOf

ledgerOf

caller

checkErr

Render