blob: 1ae91db4d452af5d1a70dbcb9a6b159d5833347c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
==================== Strictness signatures ====================
HyperStrUse.$trModule:
HyperStrUse.f: <S(SL),1*U(1*U(U),A)><S,1*U>
==================== Cpr signatures ====================
HyperStrUse.$trModule:
HyperStrUse.f: m1
==================== Strictness signatures ====================
HyperStrUse.$trModule:
HyperStrUse.f: <S(SL),1*U(1*U(U),A)><S,1*U>
|
