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

import Base

# one more char's digit onto the count read so far; None once one is no digit
def count.push(md: Maybe<&2, Digit>, acc: Maybe<&2, List<&2, Digit>>) -> Maybe<&2, List<&2, Digit>>:
  match md acc:
    case Some{d} Some{ds}:
      Some{d <> ds}
    case None{} _:
      None{}
    case Some{d} None{}:
      None{}

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