def decide.known

cswap-bend-cli@0.1.0.0 · policy/decide.bend:397

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

397def decide.known(+ah: Maybe<&2, Nat>, +e: Env) -> T.Decision:
398  match ah:
399    case Some{a}:
400      util.go(Nat.is_lt(Nat.sub(T.full(), a), cfg.threshold(env.cfg(e))), a, e)
401    case None{}:
402      unknown.go(row.expired(U.usage.of(env.active(e), env.us(e))), e)