summaryrefslogtreecommitdiff
path: root/testsuite/tests/stranal/sigs/HyperStrUse.stderr
blob: 442576db56fa6c35b632c91685b2b278e18e194f (plain)
1
2
3
4
5
6

==================== Strictness signatures ====================
HyperStrUse.$trModule: m
HyperStrUse.f: <S(S(S)L),1*U(1*U(U),A)><S,1*U>m