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

import Base

# how many cells a chain of array or object cells holds
def len.go(cells: Json) -> Nat:
  match cells:
    case JCons{_, tl}:
      1n+len.go(tl)
    case JPair{_, _, rr}:
      1n+len.go(rr)
    case JBind{_, _, _, rr}:
      1n+len.go(rr)
    case _:
      0n

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json