Json.colon.b: def of bend-kit-json@0.7.0.0
Import: import bend-kit-json@0.7.0.0/json.bend as Json
Lines 538-552 of bend-kit-json@0.7.0.0/json.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-json@0.7.0.0/json.bend&start_line=538&end_line=552

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

def colon.b(r: Array<U32> & U32, k: Bytes.Bytes, +i: U32, stack: List<&1, Open>) -> Array<U32> & Sb:
  (a, +c) = r
  match c:
    case 32:
      (a, BColon{k, (i + 1 : U32), stack})
    case 9:
      (a, BColon{k, (i + 1 : U32), stack})
    case 10:
      (a, BColon{k, (i + 1 : U32), stack})
    case 13:
      (a, BColon{k, (i + 1 : U32), stack})
    case 58:
      (a, colon.b.top(k, (i + 1 : U32), stack))
    case _:
      (a, BFail{})

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Open
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Sb
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=colon.b.top