def exhausted

cswap-bend-cli@0.1.0.0 · policy/safe.bend:36

import cswap-bend-cli@0.1.0.0/policy/safe.bend as Safe

import Base

36def exhausted(+m: Maybe<&2, Nat>) -> Bool:
37  match m:
38    case None{}:
39      False{}
40    case Some{x}:
41      Nat.is_eq(x, 0n)

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/safe:row.safe