Json.items.obj: def of bend-net-json@0.3.0.0
Import: import bend-net-json@0.3.0.0/json.bend as Json
Lines 471-476 of bend-net-json@0.3.0.0/json.bend: https://jend.leeeet.dev/read.txt?path=bend-net-json@0.3.0.0/json.bend&start_line=471&end_line=476

import Base

def items.obj(kvs: List<&2, Sigma<&2, &2, String, _ => Val>>, first: Bool, rest: List<&2, Item>) -> List<&2, Item>:
  match kvs:
    case Nil{}:
      Con{ILit{"}"}, rest}
    case (k, v) <> t:
      items.sep(first, Con{ILit{"\"" ++ esc(k) ++ "\":"}, Con{IVal{v}, items.obj(t, False{}, rest)}})

Uses (9):
  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=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=esc
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=items.sep