Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | The size of unit is = 0 bytes. |
2 | The size of unit * unit is = 0 bytes. | |
3 | The size of bool is = 0 bytes. | |
4 | The size of bool * bool is = 16 bytes. | |
5 | The size of day is = 0 bytes. | |
6 | The size of day * day is = 0 bytes. | |
7 | The size of a char is = 0 bytes. | |
8 | The size of a char * char is = 0 bytes. | |
9 | The size of a word8 is = 0 bytes. | |
10 | The size of a word8 * word8 is = 0 bytes. | |
11 | The size of a word16 is = 0 bytes. | |
12 | The size of a word16 * word16 is = 0 bytes. | |
13 | The size of a word32 is = 0 bytes. | |
14 | The size of a word32 * word32 is = 16 bytes. | |
15 | The size of a word64 is = 0 bytes. | |
16 | The size of a word64 * word64 is = 24 bytes. | |
17 | The size of a word64 * word64 * word64 is = 32 bytes. | |
18 | The size of a word64 * word64 * word64 * word64 is = 40 bytes. | |
19 | The size of a unit list of length 4 is = 64 bytes. | |
20 | The size of a bool list of length 4 is = 96 bytes. | |
21 | The size of a day list of length 4 is = 96 bytes. | |
22 | The size of an int list of length 4 is = 96 bytes. | |
23 | The size of a string of length 10 is = 40 bytes. | |
24 | The size of a word64 array of length 0 is = 24 bytes. | |
25 | The size of a word64 array of length 1 is = 32 bytes. | |
26 | The size of a word64 array of length 2 is = 40 bytes. | |
27 | The size of a word64 array of length 3 is = 48 bytes. | |
28 | The size of a word64 array of length 4 is = 56 bytes. | |
29 | The size of a word64 array of length 5 is = 64 bytes. | |
30 | The size of a word64 array of length 6 is = 72 bytes. | |
31 | The size of a word64 array of length 7 is = 80 bytes. | |
32 | The size of a word64 array of length 8 is = 88 bytes. | |
33 | The size of a word64 array of length 9 is = 96 bytes. | |
34 | The size of a word64 array of length 10 is = 104 bytes. | |
35 | The size of a word64 array of length 11 is = 112 bytes. | |
36 | The size of a word64 array of length 12 is = 120 bytes. | |
37 | The size of a word32 array of length 0 is = 24 bytes. | |
38 | The size of a word32 array of length 1 is = 32 bytes. | |
39 | The size of a word32 array of length 2 is = 32 bytes. | |
40 | The size of a word32 array of length 3 is = 40 bytes. | |
41 | The size of a word32 array of length 4 is = 40 bytes. | |
42 | The size of a word32 array of length 5 is = 48 bytes. | |
43 | The size of a word32 array of length 6 is = 48 bytes. | |
44 | The size of a word32 array of length 7 is = 56 bytes. | |
45 | The size of a word32 array of length 8 is = 56 bytes. | |
46 | The size of a word32 array of length 9 is = 64 bytes. | |
47 | The size of a word32 array of length 10 is = 64 bytes. | |
48 | The size of a word32 array of length 11 is = 72 bytes. | |
49 | The size of a word32 array of length 12 is = 72 bytes. | |
50 | The size of a word16 array of length 0 is = 24 bytes. | |
51 | The size of a word16 array of length 1 is = 32 bytes. | |
52 | The size of a word16 array of length 2 is = 32 bytes. | |
53 | The size of a word16 array of length 3 is = 32 bytes. | |
54 | The size of a word16 array of length 4 is = 32 bytes. | |
55 | The size of a word16 array of length 5 is = 40 bytes. | |
56 | The size of a word16 array of length 6 is = 40 bytes. | |
57 | The size of a word16 array of length 7 is = 40 bytes. | |
58 | The size of a word16 array of length 8 is = 40 bytes. | |
59 | The size of a word16 array of length 9 is = 48 bytes. | |
60 | The size of a word16 array of length 10 is = 48 bytes. | |
61 | The size of a word16 array of length 11 is = 48 bytes. | |
62 | The size of a word16 array of length 12 is = 48 bytes. | |
63 | The size of a word8 array of length 0 is = 24 bytes. | |
64 | The size of a word8 array of length 1 is = 32 bytes. | |
65 | The size of a word8 array of length 2 is = 32 bytes. | |
66 | The size of a word8 array of length 3 is = 32 bytes. | |
67 | The size of a word8 array of length 4 is = 32 bytes. | |
68 | The size of a word8 array of length 5 is = 32 bytes. | |
69 | The size of a word8 array of length 6 is = 32 bytes. | |
70 | The size of a word8 array of length 7 is = 32 bytes. | |
71 | The size of a word8 array of length 8 is = 32 bytes. | |
72 | The size of a word8 array of length 9 is = 40 bytes. | |
73 | The size of a word8 array of length 10 is = 40 bytes. | |
74 | The size of a word8 array of length 11 is = 40 bytes. | |
75 | The size of a word8 array of length 12 is = 40 bytes. | |
76 | The size of a unit array of length 0 is = 24 bytes. | |
77 | The size of a unit array of length 1 is = 24 bytes. | |
78 | The size of a unit array of length 2 is = 24 bytes. | |
79 | The size of a unit array of length 3 is = 24 bytes. | |
80 | The size of a unit array of length 4 is = 24 bytes. | |
81 | The size of a unit array of length 5 is = 24 bytes. | |
82 | The size of a unit array of length 6 is = 24 bytes. | |
83 | The size of a unit array of length 7 is = 24 bytes. | |
84 | The size of a unit array of length 8 is = 24 bytes. | |
85 | The size of a unit array of length 9 is = 24 bytes. | |
86 | The size of a unit array of length 10 is = 24 bytes. | |
87 | The size of a unit array of length 11 is = 24 bytes. | |
88 | The size of a unit array of length 12 is = 24 bytes. | |
89 | The size of a word64 ref is = 16 bytes. | |
90 | The size of a word32 ref is = 16 bytes. | |
91 | The size of a word16 ref is = 16 bytes. | |
92 | The size of a word8 ref is = 16 bytes. | |
93 | The size of a unit ref is = 8 bytes. | |
94 | The size of a double array of length 10 is = 104 bytes. | |
95 | The size of a (word32 * double) array of length 10 is = 184 bytes. | |
96 | The size of a (word32 * word32 * double) array of length 10 is = 184 bytes. | |
97 | The size of a (word64 * double) array of length 10 is = 184 bytes. | |
98 | The size of a (word16 * double) array of length 10 is = 184 bytes. | |
99 | The size of a word64 array of length 10 is = 104 bytes. | |
100 | The size of a (word32 * word64) array of length 10 is = 184 bytes. | |
101 | The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes. | |
102 | The size of a (word64 * word64) array of length 10 is = 184 bytes. | |
103 | The size of a (word16 * word64) array of length 10 is = 184 bytes. | |
104 | The size of an array of length 10 of 2-ples of ints is = 104 bytes. | |
105 | The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes. | |
106 | The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes. | |
107 | The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes. | |
108 | The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes. | |
109 | The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes. | |
110 | The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes. | |
111 | The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes. | |
112 | The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes. | |
113 | The size of a useless function is = 0 bytes. | |
114 | The size of an empty string is = 24 bytes. |