def soon.ok

cswap-bend-cli@0.1.0.0 · policy/usage.bend:148

import Base

148# No window reset known: only the age ceiling applies.
149def soon.ok(+now: Nat, +soonest: Maybe<&2, Nat>) -> Bool:
150  match soonest:
151    case None{}:
152      True{}
153    case Some{s}:
154      Nat.is_lt(now, s)