testsuite/tests/stranal/sigs/HyperStrUse.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15


==================== Strictness signatures ====================
HyperStrUse.f: <1!P(1!P(L),A)><1L>


==================== Cpr signatures ====================
HyperStrUse.f: 1


==================== Strictness signatures ====================
HyperStrUse.f: <1!P(1!P(L),A)><1L>