summaryrefslogtreecommitdiff
path: root/Test/deductantisym.art
blob: 80a6eea1593b0dcb955a20938320c16310dba1a9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
"x"
const
"bool"
typeOp
nil
opType
constTerm
assume
1
def
1
remove
deductAntisym