def trig.of

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

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

291def trig.of(+a: Nat) -> T.Trigger:
292  match a:
293    case 0n:
294      T.AtLimit{}
295    case 1n+p:
296      T.Proactive{}