def dec.sw

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

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

212def dec.sw(+p: K.Pk, +t: T.Trigger, +bar: Maybe<&2, Nat>, +next: T.Decision) -> T.Decision:
213  match p:
214    case K.PkAt{slot, r, h, mode}:
215      T.Switch{slot, t, T.trigger.name(t), h, mode, r, bar}
216    case K.PkNone{}:
217      next