EmergingEztoml.esc.use: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 3140-3150 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=3140&end_line=3150

import Base

# apply one escape and return to the string
def esc.use(ee: Esc, st: St, back: Lex) -> St:
  match ee:
    case EChar{c}:
      st.push(st, c, back)
    case EUni{n}:
      esc.uni(st, back, n)
    case EFold{saw}:
      esc.fold.use(back, st, saw)
    case EBad{}:
      st.err(st, "invalid escape")

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Esc
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Lex
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=esc.fold.use
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=esc.uni
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=st.err
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=st.push