def key2

cswap-bend-cli@0.1.0.0 · policy/safe.bend:89

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

89def key2(+algo: Algo, +slot: Nat, +h: Nat) -> Nat:
90  match algo:
91    case ARoundRobin{}:
92      slot
93    case ADrainFirst{}:
94      h
95    case o:
96      Nat.sub(T.full(), h)