Lex.tokens.rev: def of emerging-ezjson@1.4.0.0
Import: import emerging-ezjson@1.4.0.0/src/lex.bend as Lex
Lines 314-322 of emerging-ezjson@1.4.0.0/src/lex.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.4.0.0/src/lex.bend&start_line=314&end_line=322

import Base

# the first n chars of src, reversed, for the escape fallback's buffer
def tokens.rev(src: String, +nn: U32, zero: Bool, acc: List<&2, Char>) -> List<&2, Char>:
  match src zero:
    case s True{}:
      acc
    case SNil{} False{}:
      acc
    case SCon{h, t} False{}:
      tokens.rev(t, U32.sub(nn, 1), U32.is_zero(U32.sub(nn, 1)), h <> acc)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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_zero
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub