def rec.within

cswap-bend-cli@0.1.0.0 · policy/rank.bend:19

import cswap-bend-cli@0.1.0.0/policy/rank.bend as Rank

import Base

19def rec.within(+r: Maybe<&2, Nat>, +now: Nat) -> Bool:
20  match r:
21    case None{}:
22      False{}
23    case Some{t}:
24      Nat.is_le(Nat.sub(t, now), 14400n)

Uses (5)

Used by (2)