blob: 21077d243fb2f269b01f0669f3c0a101d8985e89 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
==================== Strictness signatures ====================
HyperStrUse.$trModule: m
HyperStrUse.f: <S(S(S)L),1*U(1*U(U),A)><S,1*U>m
==================== Strictness signatures ====================
HyperStrUse.$trModule: m
HyperStrUse.f: <S(S(S)L),1*U(1*U(U),A)><S,1*U>m
|
