def rec.row.at

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

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

128def rec.row.at(+ok: Bool, +u: T.Usage, +now: Nat, +ms: List<&2, String>) -> Maybe<&2, Nat>:
129  match ok:
130    case True{}:
131      bind.rec(U.windows(u, ms), now)
132    case False{}:
133      None{}