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

summary refs log tree commit diff

path: root/test/assume.art

blob: 2d6e097142ba7fda13039bf2f73742cef24c9501 (plain)

"bool"
const
"bool"
typeOp
nil
opType
constTerm
assume