blob: 953727a119923ccaecc589dffbf3b50944e42b27 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
==================== Strictness signatures ====================
BottomFromInnerLambda.expensive: <1!P(SL)>
BottomFromInnerLambda.f: <1!P(S)><1!P(S)>b
==================== Cpr signatures ====================
BottomFromInnerLambda.expensive: 1
BottomFromInnerLambda.f: b
==================== Strictness signatures ====================
BottomFromInnerLambda.expensive: <1!P(1L)>
BottomFromInnerLambda.f: <1!P(1S)><1!P(S)>b
|
