def Value.json
import bend-kit-notch@0.4.0.0/notch.bend as Notchimport Base
171def Value.json(v: Value) -> String:
172 match v:
173 case Str{s}:
174 quote(s)
175 case Num{n}:
176 U32.show(n)
177 case Flag{b}:
178 Bool.word(b)