summaryrefslogtreecommitdiff
path: root/Test/absthm.art
blob: 359a4cd50b1c091ac3db3ca36d976a44252ccf22 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
"bool"
"bool"
varType
var
#varTerm
"bool"
const
"bool"
typeOp
nil
opType
constTerm
refl
absThm