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