Frame.count.show: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/frame.bend as Frame
Lines 212-218 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=212&end_line=218

import Base

# a count's digits, most significant first, in front of acc
def count.show(ds: List<&2, Digit>, acc: String) -> String:
  match ds:
    case Nil{}:
      acc
    case Con{d, t}:
      count.show(t, SCon{Char.from_u32(digit.code(d)), acc})

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