aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/idtac.out
blob: 3855f88a7217da5762590331a9b40278dd7dee5f (plain)
1
2
3
4
5
6
7
8
9
10
11
"foo"
True
foo
3
foo
2
< True False Prop >
< True False Prop >
<  >
<  >
<< 1 2 3 >>