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

summary refs log tree commit diff

path: root/test/absterm.art

blob: 94446fce4ddb643f43d28f3b26cce787e1b0393e (plain)

"variablename"
"variabletype"
varType
var
"constname"
const
"consttype"
typeOp
nil
opType
constTerm
absTerm