absterm.art « Test - opentheory-transform - Opentheory proof trace optimizer

summary refs log tree commit diff

path: root/Test/absterm.art

blob: d68ddc679e745d03d9ca2f05236861779cb228a9 (plain)

"bool"
"bool"
varType
var
varTerm
"bool"
const
"bool"
typeOp
nil
opType
constTerm
absTerm