def rk.active

cswap-bend-cli@0.1.0.0 · policy/pick.bend:430

import cswap-bend-cli@0.1.0.0/policy/pick.bend as Pick
import Base
import cswap-bend-cli@0.1.0.0/policy/rank.bend as R

430def rk.active(+rk: Rk) -> Nat:
431  match rk:
432    case Rk{t, cf, rm, ah0, best, ar, ars, thr, s}:
433      match s:
434        case R.Sel{active, bar, need, us, now, ms}:
435          active

Uses (3)

Used by (0)

No other definition uses this definition.