Json.esc.one: def of bend-net-json@0.3.0.0
Import: import bend-net-json@0.3.0.0/json.bend as Json
Lines 187-194 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=187&end_line=194

import Base

# One escape after the backslash.
def esc.one(t: String) -> Maybe<&2, Esc>:
  match t:
    case SNil{}:
      None{}
    case SCon{Chr{+e}, +u}:
      +v = esc.simple(e)
      Bool.pick(Maybe<&2, Esc>, U32.is_eq(e, 117), esc.u(hex4(u)), Bool.pick(Maybe<&2, Esc>, U32.is_eq(v, 99), None{}, Some{Esc{v, u}}))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  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=esc.simple
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=esc.u
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=hex4