summaryrefslogtreecommitdiff
path: root/Test/assume.art
blob: ef474746f948dec234fd6fd9de79b3633e2a3846 (plain)
1
2
3
4
5
6
7
8
"bool"
const
"bool"
typeOp
nil
opType
constTerm
assume