path: root/test-suite/output/idtac.out

"foo"
True
foo
3
foo
2
< True False Prop >
< True False Prop >
<  >
<  >
<< 1 2 3 >>