blob: b0656cd13de5fd3ba0b4d8e203ce656df27f269e (
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: <MP(A,MCM(L),A)><L>
Foo.foogle: <L><L>
==================== Cpr signatures ====================
Foo.$trModule:
Foo.f: 1
Foo.foogle: 1
==================== Strictness signatures ====================
Foo.$trModule:
Foo.f: <MP(A,MCM(L),A)><L>
Foo.foogle: <L><L>
|
