def seven.row.at

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

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

147def seven.row.at(+ok: Bool, +u: T.Usage, +now: Nat) -> Maybe<&2, Nat>:
148  match ok:
149    case True{}:
150      rec.after(usage.seven_reset(u), now)
151    case False{}:
152      None{}