blob: 5be614867a2fb896dd62fd9326509b217bd1ccf2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
==================== Strictness signatures ====================
Foo.f: <MP(A,1C1(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>
|