blob: 00542be6685f6d0c10707a0e647c4f25f4acb655 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
==================== Strictness signatures ====================
T8598.fun: <1!P(L)>
==================== Cpr signatures ====================
T8598.fun: 1
==================== Strictness signatures ====================
T8598.fun: <1!P(L)>
|