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