blob: 63fa76d79d79e6da5273cfcf8dcd0d2d8bb2ad9c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
==================== Strictness signatures ====================
T12370.$trModule:
T12370.bar: <S,1*U(U)><S,1*U(U)>
T12370.foo: <S(SS),1*U(1*U(U),1*U(U))>
==================== Cpr signatures ====================
T12370.$trModule: m1
T12370.bar: m1
T12370.foo: m1
==================== Strictness signatures ====================
T12370.$trModule:
T12370.bar: <S,1*U(U)><S,1*U(U)>
T12370.foo: <S(SS),1*U(1*U(U),1*U(U))>
|
