blob: 9981084325c2dbbffb24ff7e59a2bd520a59b6e5 (
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: <S(S),1*U(1*U)><S,1*U(U)><S,1*U(U)>
Foo.g: <S(SS),1*U(1*U(U),1*U(U))>
==================== Cpr signatures ====================
Foo.$trModule: m1
Foo.f: m1
Foo.g: m1
==================== Strictness signatures ====================
Foo.$trModule:
Foo.f: <S(S),1*U(1*U)><S,1*U(U)><S,1*U(U)>
Foo.g: <S(SS),1*U(1*U(U),1*U(U))>
|