def exhausted.known

cswap-bend-cli@0.1.0.0 · policy/exhaust.bend:48

import cswap-bend-cli@0.1.0.0/policy/exhaust.bend as Exhaust

import Base

48def exhausted.known(+m: Maybe<&2, Nat>) -> Bool:
49  match m:
50    case None{}:
51      False{}
52    case Some{h}:
53      Nat.is_eq(h, 0n)

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/exhaust:exhausted.at