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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
==================== Strictness signatures ====================
T16859.$tc'External:
T16859.$tc'Internal:
T16859.$tc'Name:
T16859.$tcName:
T16859.$tcNameSort:
T16859.$trModule:
T16859.bar: <1!A><L>
T16859.baz: <1L><1!L><1C1(L)>
T16859.buz: <1!L>
T16859.foo: <1L><L>
T16859.mkInternalName: <1!L><1L><1L>
T16859.n_loc: <1!P(A,A,A,1L)>
T16859.n_occ: <1!P(A,1!L,A,A)>
T16859.n_sort: <1!P(1L,A,A,A)>
T16859.n_uniq: <1!P(A,A,L,A)>
==================== Cpr signatures ====================
T16859.$tc'External:
T16859.$tc'Internal:
T16859.$tc'Name:
T16859.$tcName:
T16859.$tcNameSort:
T16859.$trModule:
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.$tc'External:
T16859.$tc'Internal:
T16859.$tc'Name:
T16859.$tcName:
T16859.$tcNameSort:
T16859.$trModule:
T16859.bar: <1!A><L>
T16859.baz: <1L><1!L><1C1(L)>
T16859.buz: <1!L>
T16859.foo: <1L><L>
T16859.mkInternalName: <1!L><1L><1L>
T16859.n_loc: <1!P(A,A,A,1L)>
T16859.n_occ: <1!P(A,1!L,A,A)>
T16859.n_sort: <1!P(1L,A,A,A)>
T16859.n_uniq: <1!P(A,A,L,A)>
|
