type Rk

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

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

32# Everything the pickers read: the trigger, whether the strategy is
33# consume-first, whether this is recovery mode, the active headroom (0 when
34# unknown), the best candidate headroom, the active account's binding recovery
35# and weekly reset, the threshold, and the selection context.
36type Rk is Data:
37  Rk{t: T.Trigger, cf: Bool, rm: Bool, ah0: Nat, best: Nat, ar: Maybe<&2, Nat>, ars: Maybe<&2, Nat>, thr: Nat, s: R.Sel}