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

summary refs log tree commit diff

path: root/test/defineconst.art

blob: 79ab9b3c1631c9d05300f0074a4097cb8bbc95c0 (plain)

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