Input.media.charset.quoted: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/input.bend as Input
Lines 141-157 of bend-kit-camber@0.15.0.1/input.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-camber@0.15.0.1/input.bend&start_line=141&end_line=157

import Base

# Compare the decoded quoted-string charset without allocating a second value.
def media.charset.quoted(text: String, expected: String, escaped: Bool) -> Bool:
  match text:
    case SNil{}: False{}
    case SCon{Chr{+c}, rest}:
      match c:
        case 92:
          match expected:
            case SNil{}: False{}
            case SCon{Chr{want}, next}:
              match escaped:
                case True{}: False{}
                case False{}: media.charset.quoted(rest, SCon{Chr{want}, next}, True{})
        case _:
          match expected:
            case SNil{}: U32.is_eq(c, 34) && Bool.not(escaped) && String.eq(rest, "")
            case SCon{Chr{want}, next}: U32.is_eq(c, want) && media.charset.quoted(rest, next, False{})

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil