use ;
use *;
use BucksAccount;
/// Stable - Per-stablecoin state tracking.
/// Each stablecoin created has its own Stable account.
///
/// Invariant: total_deposits == sum(all StableProtocolPosition.deposits for this stable)
/// Invariant: total_deposits == stablecoin_mint.supply (1:1 peg)
account!;