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

summary refs log tree commit diff

path: root/Test/defineconst.art

blob: 739f9c9f06c4ab93bfd370897cc98f3c231c7452 (plain)

"y"
"x"
const
"bool"
typeOp
nil
opType
constTerm
defineConst