aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/reduction.out
blob: ff327aa5f13a6fadedfb30aec41f13348ac7dcc1 (plain)
1
2
3
4
     = a
     : nat
     = n + 0
     : nat