summaryrefslogtreecommitdiffstats
path: root/tests/snippets/whiley/test_whiley_operator.txt
blob: 50761db9ff20b72d9f545f4c18ba2aeed7d38188 (plain)
1
2
3
4
5
6
7
8
9
10
---input---
123 ∀ x

---tokens---
'123'         Literal.Number.Integer
' '           Text
'∀'           Operator
' '           Text
'x'           Name
'\n'          Text