Report.marker.go: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/report.bend as Report
Lines 43-52 of bolt@1.27.0.0/src/lsp/report.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/report.bend&start_line=43&end_line=52

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

# reading a marker past its padding: `count` digits of `whole` so far, and at
# the first other character, the number they make when `>|` follows them
def marker.go(ss: String, +whole: String, +count: Nat) -> Maybe<&2, U32>:
  match ss:
    case SNil{}:
      None{}
    case SCon{+hh, +tt}:
      Lazy.stop(Maybe<&2, U32>, Bool.not(Char.is_digit(hh)),
        Bool.pick(Maybe<&2, U32>, String.starts_with(SCon{hh, tt}, ">|"), U32.read(String.take(whole, count)), None{}),
        _u => marker.go(tt, whole, 1n+count))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_digit
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.starts_with
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.read
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=stop