aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Match_subterm.out
blob: c99c8905e0b4ef7858f4975875b6e231cdeddb9f (plain)
1
2
3
4
5
6
7
8
9
10
(0 = 1)
(eq 0)
eq
@eq
nat
0
1
S
0
2