blob: 2b54d3b8ff16b196bd0883504d538652e12491d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
==================== Strictness signatures ====================
Foo.f: <LP(A,SCS(L),A)><L>
Foo.foogle: <L><L>
==================== Cpr signatures ====================
Foo.f: 1
Foo.foogle: 1
==================== Strictness signatures ====================
Foo.f: <MP(A,1C1(L),A)><L>
Foo.foogle: <L><L>
|
