Notch.Value.json: def of bend-kit-notch@0.4.0.0
Import: import bend-kit-notch@0.4.0.0/notch.bend as Notch
Lines 171-178 of bend-kit-notch@0.4.0.0/notch.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-notch@0.4.0.0/notch.bend&start_line=171&end_line=178

import Base

def Value.json(v: Value) -> String:
  match v:
    case Str{s}:
      quote(s)
    case Num{n}:
      U32.show(n)
    case Flag{b}:
      Bool.word(b)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=Bool.word
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=Value
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=quote