def rec.after

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

import Base

78# A reset that is still ahead of us; past or unknown is inf.
79def rec.after(+r: Maybe<&2, Nat>, +now: Nat) -> Maybe<&2, Nat>:
80  match r:
81    case None{}:
82      None{}
83    case Some{t}:
84      rec.after.at(Nat.is_gt(t, now), t)