blob: e8a806e4ad3a7ccd6632836cb7679a223bae4e9c (
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: <1P(1P(L),A)><1L>
==================== Cpr signatures ====================
HyperStrUse.$trModule:
HyperStrUse.f: m1
==================== Strictness signatures ====================
HyperStrUse.$trModule:
HyperStrUse.f: <1P(1P(L),A)><1L>
|