1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
==================== Strictness signatures ====================
T16859.bar: <1!A><L>
T16859.baz: <1L><1!P(L)><1C1(L)>
T16859.buz: <1!P(L,L)>
T16859.foo: <1L><L>
T16859.mkInternalName: <1!P(L)><1L><1L>
T16859.n_loc: <1!P(A,A,A,1L)>
T16859.n_occ: <1!P(A,1!P(L,L),A,A)>
T16859.n_sort: <1!P(1L,A,A,A)>
T16859.n_uniq: <1!P(A,A,L,A)>
==================== Cpr signatures ====================
T16859.bar: 1
T16859.baz: 1
T16859.buz: 1
T16859.foo: 1
T16859.mkInternalName: 1(1, , ,)
T16859.n_loc:
T16859.n_occ: 1
T16859.n_sort:
T16859.n_uniq: 1
==================== Strictness signatures ====================
T16859.bar: <1!A><L>
T16859.baz: <L><1!P(L)><1C1(L)>
T16859.buz: <1!P(L,L)>
T16859.foo: <L><L>
T16859.mkInternalName: <1!P(L)><L><L>
T16859.n_loc: <1!P(A,A,A,1L)>
T16859.n_occ: <1!P(A,1!P(L,L),A,A)>
T16859.n_sort: <1!P(1L,A,A,A)>
T16859.n_uniq: <1!P(A,A,L,A)>
|
