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