wrapped state

balances

balances maps owner address (string) -> wrapped balance (uint64).

totalSupply

balances maps owner address (string) -> wrapped balance (uint64).

Deposit

Deposit wraps \`amount\` units of the (notional) native coin, crediting the caller's wrapped balance and the global totalSupply. Accounting only: no real coin ever moves — it models locking native funds to mint the wrapped token.

Withdraw

Withdraw unwraps \`amount\` units, burning them from the caller's balance and from totalSupply. Panics if the caller lacks the balance.

Transfer

Transfer moves \`amount\` wrapped units from the caller to \`to\`.

balanceOf

balanceOf returns the wrapped balance of \`owner\` (read-only, not crossing).

BalanceOf

BalanceOf is the exported read-only accessor for a single owner.

TotalSupply

TotalSupply returns the total amount of wrapped units in existence.

setBalance

canDebit

canDebit reports whether \`bal\` can cover \`amount\` for a burn/transfer.

formatUnits

formatUnits renders a raw uint64 amount as a decimal string.

Render

Render shows the total supply and a table of non-zero balances.