diff options
Diffstat (limited to 'test/golden/union/tokenizing.golden')
| -rw-r--r-- | test/golden/union/tokenizing.golden | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/golden/union/tokenizing.golden b/test/golden/union/tokenizing.golden index 1672765..37ce74e 100644 --- a/test/golden/union/tokenizing.golden +++ b/test/golden/union/tokenizing.golden @@ -1,4 +1,18 @@ [ + [ BeginEnv "signature" + , Label "example_union" + , BeginEnv "math" + , Variable "A" + , Command "union" + , Variable "B" + , EndEnv "math" + , Word "is" + , Word "a" + , Word "set" + , Symbol "." + , EndEnv "signature" + ] +, [ BeginEnv "axiom" , BracketL , Word "extensionality" |