Value.span.eq.go: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/value.bend as Value
Lines 46-61 of emerging-ezjson@1.3.0.0/src/value.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&start_line=46&end_line=61

import Base

# whether the first `nn` chars of `src` equal `key`, stopping at the first miss.
# A count past the end of `src` covers what there is, as span.str reads it
def span.eq.go(src: String, same: Bool, zero: Bool, key: String, +nn: U32) -> Bool:
  match src same zero key:
    case s False{} zero k:
      False{}
    case s True{} True{} SNil{}:
      True{}
    case s True{} True{} k:
      False{}
    case SCon{+a, as} True{} False{} SCon{+b, bs}:
      span.eq.go(as, Char.is_eq(a, b), U32.is_zero(U32.sub(nn, 1)), bs, U32.sub(nn, 1))
    case SNil{} True{} False{} SNil{}:
      True{}
    case s True{} False{} k:
      False{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_zero
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub