aihc-parser-1.0.0.2: test/Test/Fixtures/lexer/unicode-syntax/forall.yaml

extensions:
  - UnicodeSyntax
input: "∀ a"
tokens:
  - "TkKeywordForall"
  - 'TkVarId "a"'
  - "TkEOF"
status: pass