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