def legacy_until

cswap-bend-cli@0.1.0.0 · pollrow.bend:188

import cswap-bend-cli@0.1.0.0/pollrow.bend as Pollrow

import Base

188def legacy_until(la: Maybe<&2, U32>) -> Nat:
189  match la:
190    case Some{a}:
191      U32.to_nat((a + 10 : U32))
192    case None{}:
193      0n

Uses (5)

Used by (1)

cswap-bend-cli@0.1.0.0/pollrow:lease_until