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