tartrazine/spec/tests/whiley/test_whiley_operator.txt

11 lines
174 B
Plaintext
Raw Normal View History

2024-08-03 10:36:47 +00:00
---input---
123 ∀ x
---tokens---
'123' Literal.Number.Integer
' ' Text
'∀' Operator
' ' Text
'x' Name
'\n' Text