blob: 9e50bfb1e31d23d8e2dbb7ce4a4261af597e1622 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
==================== Strictness signatures ====================
T8598.$trModule: c
T8598.fun: <S,1*U(U)>
==================== Cpr signatures ====================
T8598.$trModule: m1
T8598.fun: m1
==================== Strictness signatures ====================
T8598.$trModule: c
T8598.fun: <S,1*U(U)>
|
