blob: 44a90106cfb8a8ac179a1e70c43306573115e250 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
==================== Strictness signatures ====================
T12370.$trModule:
T12370.bar: <SP(U)><SP(U)>
T12370.foo: <SP(SP(U),SP(U))>
==================== Cpr signatures ====================
T12370.$trModule:
T12370.bar: m1
T12370.foo: m1
==================== Strictness signatures ====================
T12370.$trModule:
T12370.bar: <SP(U)><SP(U)>
T12370.foo: <SP(SP(U),SP(U))>
|