blob: 94c0b76bfcef0a0724ec9fb7bb4d95bfdb409948 (
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: <1!P(1L)><1!P(L)><1!P(L)>
Foo.g: <1!P(1!P(L),1!P(L))>
==================== Cpr signatures ====================
Foo.$trModule:
Foo.f: 1
Foo.g: 1
==================== Strictness signatures ====================
Foo.$trModule:
Foo.f: <1!P(1L)><1!P(L)><1!P(L)>
Foo.g: <1!P(1!P(L),1!P(L))>
|
