Value.has.go: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/value.bend as Value
Lines 394-402 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=394&end_line=402

import Base
import emerging-ezjson@1.3.0.0/src/lazy.bend as Lazy

# whether a chain of pairs has the key, stopping at the first match
def has.go(cells: Json, +key: String) -> Bool:
  match cells:
    case JPair{k2, _, rr}:
      Lazy.stop(Bool, find.eq(k2, key), True{}, _u => has.go(rr, key))
    case JBind{src, nn, _, rr}:
      Lazy.stop(Bool, span.eq(src, nn, key), True{}, _u => has.go(rr, key))
    case _:
      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=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lazy.bend&name=stop
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=find.eq
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=span.eq