Json.esc.u: def of bend-net-json@0.3.0.0 Import: import bend-net-json@0.3.0.0/json.bend as Json Lines 175-180 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=175&end_line=180 import Base def esc.u(e: Maybe<&2, Esc>) -> Maybe<&2, Esc>: match e: case None{}: None{} case Some{Esc{+v, +r}}: Some{Bool.pick(Esc, is_hi(v), pair(v, r), Bool.pick(Esc, is_lo(v), Esc{65533, r}, Esc{v, r}))} Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe 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=is_hi https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=is_lo https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=pair