Frame.tick: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/frame.bend as Frame
Lines 166-190 of bolt@1.27.0.0/src/lsp/frame.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/frame.bend&start_line=166&end_line=190

import Base

# a count one more (digits least significant first)
def tick(ds: List<&2, Digit>) -> List<&2, Digit>:
  match ds:
    case Nil{}:
      [D1{}]
    case Con{D0{}, t}:
      D1{} <> t
    case Con{D1{}, t}:
      D2{} <> t
    case Con{D2{}, t}:
      D3{} <> t
    case Con{D3{}, t}:
      D4{} <> t
    case Con{D4{}, t}:
      D5{} <> t
    case Con{D5{}, t}:
      D6{} <> t
    case Con{D6{}, t}:
      D7{} <> t
    case Con{D7{}, t}:
      D8{} <> t
    case Con{D8{}, t}:
      D9{} <> t
    case Con{D9{}, t}:
      D0{} <> tick(t)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/frame.bend&name=Digit