aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Sum.out
blob: 22422602e8db8484f4fc81dfb6e789b2ffeb24f8 (plain)
1
2
3
4
5
6
nat+nat+{True}
     : Set
{True}+{True}+{True}
     : Set
nat+{True}+{True}
     : Set