def shift

bend-toon-codec@0.1.0.0 · src/rep.bend:23

import bend-toon-codec@0.1.0.0/src/rep.bend as Rep
import Base

23def shift(+ls: List<&2, Ln>) -> List<&2, Ln>:
24  match ls:
25    case Nil{}:
26      Nil{}
27    case Con{Ln{d, t}, rest}:
28      Con{Ln{(d + 1 : U32), t}, shift(rest)}

Uses (4)

Used by (3)