| blob | cd37d50c635d461ff8878d181dd6e5514b633012 |
1 [static] $cm ? VAR
2 +------------+------+------+------+------+------+------+------+
3 | VAR | < | <= | > | >= | == | === | <=> |
4 +============+======+======+======+======+======+======+======+
5 | $cm | F* | T* | F* | T* | T | T | 0 * |
6 | $nv | F* | F* | T* | T* | F | F | 1 * |
7 | $tv | F* | T* | F* | T* | T | F | 0 * |
8 | $bv | F* | F* | T* | T* | F | F | 1 * |
9 | $iv | F* | F* | T* | T* | F | F | 1 * |
10 | $fv | F* | F* | T* | T* | F | F | 1 * |
11 | $sv | F* | F* | T* | T* | F | F | 1 * |
12 | $rv | F* | F* | T* | T* | F | F | 1 * |
13 | $ov | T* | T* | F* | F* | F | F | -1* |
14 | $va | F* | T* | F* | T* | T* | T* | 0 * |
15 | $cp | F* | T* | F* | T* | T | T | 0 * |
16 | $ep | EXN | EXN | EXN | EXN | F | F | EXN |
17 | $lp | T* | T* | F* | F* | F | F | -1* |
18 | $qp | F* | F* | T* | T* | F | F | 1 * |
19 | WRAPA($nv) | F* | F* | T* | T* | F | F | 1 * |
20 | WRAPA($tv) | F* | T* | F* | T* | T | F | 0 * |
21 | WRAPA($bv) | F* | F* | T* | T* | F | F | 1 * |
22 | WRAPA($iv) | F* | F* | T* | T* | F | F | 1 * |
23 | WRAPA($fv) | F* | F* | T* | T* | F | F | 1 * |
24 | WRAPA($sv) | F* | F* | T* | T* | F | F | 1 * |
25 | WRAPA($rv) | F* | F* | T* | T* | F | F | 1 * |
26 | WRAPA($ov) | T* | T* | F* | F* | F | F | -1* |
27 | WRAPA($va) | F* | T* | F* | T* | T* | T* | 0 * |
28 | WRAPA($cp) | F* | T* | F* | T* | T | T | 0 * |
29 | WRAPA($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
30 | WRAPA($lp) | T* | T* | F* | F* | F | F | -1* |
31 | WRAPA($qp) | F* | F* | T* | T* | F | F | 1 * |
32 | WRAPO($nv) | F* | F* | T* | T* | F | F | 1 * |
33 | WRAPO($tv) | F* | T* | F* | T* | T | F | 0 * |
34 | WRAPO($bv) | F* | F* | T* | T* | F | F | 1 * |
35 | WRAPO($iv) | F* | F* | T* | T* | F | F | 1 * |
36 | WRAPO($fv) | F* | F* | T* | T* | F | F | 1 * |
37 | WRAPO($sv) | F* | F* | T* | T* | F | F | 1 * |
38 | WRAPO($rv) | F* | F* | T* | T* | F | F | 1 * |
39 | WRAPO($ov) | T* | T* | F* | F* | F | F | -1* |
40 | WRAPO($va) | F* | T* | F* | T* | T* | F | 0 * |
41 | WRAPO($cp) | F* | T* | F* | T* | T | F | 0 * |
42 | WRAPO($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
43 | WRAPO($lp) | T* | T* | F* | F* | F | F | -1* |
44 | WRAPO($qp) | F* | F* | T* | T* | F | F | 1 * |
45 | WRAPD($nv) | F* | F* | T* | T* | F | F | 1 * |
46 | WRAPD($tv) | F* | T* | F* | T* | T | F | 0 * |
47 | WRAPD($bv) | F* | F* | T* | T* | F | F | 1 * |
48 | WRAPD($iv) | F* | F* | T* | T* | F | F | 1 * |
49 | WRAPD($fv) | F* | F* | T* | T* | F | F | 1 * |
50 | WRAPD($sv) | F* | F* | T* | T* | F | F | 1 * |
51 | WRAPD($rv) | F* | F* | T* | T* | F | F | 1 * |
52 | WRAPD($ov) | T* | T* | F* | F* | F | F | -1* |
53 | WRAPD($va) | F* | T* | F* | T* | T* | F | 0 * |
54 | WRAPD($cp) | F* | T* | F* | T* | T | F | 0 * |
55 | WRAPD($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
56 | WRAPD($lp) | T* | T* | F* | F* | F | F | -1* |
57 | WRAPD($qp) | F* | F* | T* | T* | F | F | 1 * |
58 +------------+------+------+------+------+------+------+------+
60 [static] VAR ? $cm
61 +------------+------+------+------+------+------+------+------+
62 | VAR | < | <= | > | >= | == | === | <=> |
63 +============+======+======+======+======+======+======+======+
64 | $cm | F* | T* | F* | T* | T | T | 0 * |
65 | $nv | T* | T* | F* | F* | F | F | -1* |
66 | $tv | F* | T* | F* | T* | T | F | 0 * |
67 | $bv | T* | T* | F* | F* | F | F | -1* |
68 | $iv | T* | T* | F* | F* | F | F | -1* |
69 | $fv | T* | T* | F* | F* | F | F | -1* |
70 | $sv | T* | T* | F* | F* | F | F | -1* |
71 | $rv | T* | T* | F* | F* | F | F | -1* |
72 | $ov | F* | F* | T* | T* | F | F | 1 * |
73 | $va | F* | T* | F* | T* | T* | T* | 0 * |
74 | $cp | F* | T* | F* | T* | T | T | 0 * |
75 | $ep | EXN | EXN | EXN | EXN | F | F | EXN |
76 | $lp | F* | F* | T* | T* | F | F | 1 * |
77 | $qp | T* | T* | F* | F* | F | F | -1* |
78 | WRAPA($nv) | T* | T* | F* | F* | F | F | -1* |
79 | WRAPA($tv) | F* | T* | F* | T* | T | F | 0 * |
80 | WRAPA($bv) | T* | T* | F* | F* | F | F | -1* |
81 | WRAPA($iv) | T* | T* | F* | F* | F | F | -1* |
82 | WRAPA($fv) | T* | T* | F* | F* | F | F | -1* |
83 | WRAPA($sv) | T* | T* | F* | F* | F | F | -1* |
84 | WRAPA($rv) | T* | T* | F* | F* | F | F | -1* |
85 | WRAPA($ov) | F* | F* | T* | T* | F | F | 1 * |
86 | WRAPA($va) | F* | T* | F* | T* | T* | T* | 0 * |
87 | WRAPA($cp) | F* | T* | F* | T* | T | T | 0 * |
88 | WRAPA($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
89 | WRAPA($lp) | F* | F* | T* | T* | F | F | 1 * |
90 | WRAPA($qp) | T* | T* | F* | F* | F | F | -1* |
91 | WRAPO($nv) | T* | T* | F* | F* | F | F | -1* |
92 | WRAPO($tv) | F* | T* | F* | T* | T | F | 0 * |
93 | WRAPO($bv) | T* | T* | F* | F* | F | F | -1* |
94 | WRAPO($iv) | T* | T* | F* | F* | F | F | -1* |
95 | WRAPO($fv) | T* | T* | F* | F* | F | F | -1* |
96 | WRAPO($sv) | T* | T* | F* | F* | F | F | -1* |
97 | WRAPO($rv) | T* | T* | F* | F* | F | F | -1* |
98 | WRAPO($ov) | F* | F* | T* | T* | F | F | 1 * |
99 | WRAPO($va) | F* | T* | F* | T* | T* | F | 0 * |
100 | WRAPO($cp) | F* | T* | F* | T* | T | F | 0 * |
101 | WRAPO($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
102 | WRAPO($lp) | F* | F* | T* | T* | F | F | 1 * |
103 | WRAPO($qp) | T* | T* | F* | F* | F | F | -1* |
104 | WRAPD($nv) | T* | T* | F* | F* | F | F | -1* |
105 | WRAPD($tv) | F* | T* | F* | T* | T | F | 0 * |
106 | WRAPD($bv) | T* | T* | F* | F* | F | F | -1* |
107 | WRAPD($iv) | T* | T* | F* | F* | F | F | -1* |
108 | WRAPD($fv) | T* | T* | F* | F* | F | F | -1* |
109 | WRAPD($sv) | T* | T* | F* | F* | F | F | -1* |
110 | WRAPD($rv) | T* | T* | F* | F* | F | F | -1* |
111 | WRAPD($ov) | F* | F* | T* | T* | F | F | 1 * |
112 | WRAPD($va) | F* | T* | F* | T* | T* | F | 0 * |
113 | WRAPD($cp) | F* | T* | F* | T* | T | F | 0 * |
114 | WRAPD($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
115 | WRAPD($lp) | F* | F* | T* | T* | F | F | 1 * |
116 | WRAPD($qp) | T* | T* | F* | F* | F | F | -1* |
117 +------------+------+------+------+------+------+------+------+
119 [dynamic] $cm ? VAR
120 +------------+------+------+------+------+------+------+------+
121 | VAR | < | <= | > | >= | == | === | <=> |
122 +============+======+======+======+======+======+======+======+
123 | $cm | F* | T* | F* | T* | T | T | 0 * |
124 | $nv | F* | F* | T* | T* | F | F | 1 * |
125 | $tv | F* | T* | F* | T* | T | F | 0 * |
126 | $bv | F* | F* | T* | T* | F | F | 1 * |
127 | $iv | F* | F* | T* | T* | F | F | 1 * |
128 | $fv | F* | F* | T* | T* | F | F | 1 * |
129 | $sv | F* | F* | T* | T* | F | F | 1 * |
130 | $rv | F* | F* | T* | T* | F | F | 1 * |
131 | $ov | T* | T* | F* | F* | F | F | -1* |
132 | $va | F* | T* | F* | T* | T* | T* | 0 * |
133 | $cp | F* | T* | F* | T* | T | T | 0 * |
134 | $ep | EXN | EXN | EXN | EXN | F | F | EXN |
135 | $lp | T* | T* | F* | F* | F | F | -1* |
136 | $qp | F* | F* | T* | T* | F | F | 1 * |
137 | WRAPA($nv) | F* | F* | T* | T* | F | F | 1 * |
138 | WRAPA($tv) | F* | T* | F* | T* | T | F | 0 * |
139 | WRAPA($bv) | F* | F* | T* | T* | F | F | 1 * |
140 | WRAPA($iv) | F* | F* | T* | T* | F | F | 1 * |
141 | WRAPA($fv) | F* | F* | T* | T* | F | F | 1 * |
142 | WRAPA($sv) | F* | F* | T* | T* | F | F | 1 * |
143 | WRAPA($rv) | F* | F* | T* | T* | F | F | 1 * |
144 | WRAPA($ov) | T* | T* | F* | F* | F | F | -1* |
145 | WRAPA($va) | F* | T* | F* | T* | T* | T* | 0 * |
146 | WRAPA($cp) | F* | T* | F* | T* | T | T | 0 * |
147 | WRAPA($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
148 | WRAPA($lp) | T* | T* | F* | F* | F | F | -1* |
149 | WRAPA($qp) | F* | F* | T* | T* | F | F | 1 * |
150 | WRAPO($nv) | F* | F* | T* | T* | F | F | 1 * |
151 | WRAPO($tv) | F* | T* | F* | T* | T | F | 0 * |
152 | WRAPO($bv) | F* | F* | T* | T* | F | F | 1 * |
153 | WRAPO($iv) | F* | F* | T* | T* | F | F | 1 * |
154 | WRAPO($fv) | F* | F* | T* | T* | F | F | 1 * |
155 | WRAPO($sv) | F* | F* | T* | T* | F | F | 1 * |
156 | WRAPO($rv) | F* | F* | T* | T* | F | F | 1 * |
157 | WRAPO($ov) | T* | T* | F* | F* | F | F | -1* |
158 | WRAPO($va) | F* | T* | F* | T* | T* | F | 0 * |
159 | WRAPO($cp) | F* | T* | F* | T* | T | F | 0 * |
160 | WRAPO($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
161 | WRAPO($lp) | T* | T* | F* | F* | F | F | -1* |
162 | WRAPO($qp) | F* | F* | T* | T* | F | F | 1 * |
163 | WRAPD($nv) | F* | F* | T* | T* | F | F | 1 * |
164 | WRAPD($tv) | F* | T* | F* | T* | T | F | 0 * |
165 | WRAPD($bv) | F* | F* | T* | T* | F | F | 1 * |
166 | WRAPD($iv) | F* | F* | T* | T* | F | F | 1 * |
167 | WRAPD($fv) | F* | F* | T* | T* | F | F | 1 * |
168 | WRAPD($sv) | F* | F* | T* | T* | F | F | 1 * |
169 | WRAPD($rv) | F* | F* | T* | T* | F | F | 1 * |
170 | WRAPD($ov) | T* | T* | F* | F* | F | F | -1* |
171 | WRAPD($va) | F* | T* | F* | T* | T* | F | 0 * |
172 | WRAPD($cp) | F* | T* | F* | T* | T | F | 0 * |
173 | WRAPD($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
174 | WRAPD($lp) | T* | T* | F* | F* | F | F | -1* |
175 | WRAPD($qp) | F* | F* | T* | T* | F | F | 1 * |
176 +------------+------+------+------+------+------+------+------+
178 [dynamic] VAR ? $cm
179 +------------+------+------+------+------+------+------+------+
180 | VAR | < | <= | > | >= | == | === | <=> |
181 +============+======+======+======+======+======+======+======+
182 | $cm | F* | T* | F* | T* | T | T | 0 * |
183 | $nv | T* | T* | F* | F* | F | F | -1* |
184 | $tv | F* | T* | F* | T* | T | F | 0 * |
185 | $bv | T* | T* | F* | F* | F | F | -1* |
186 | $iv | T* | T* | F* | F* | F | F | -1* |
187 | $fv | T* | T* | F* | F* | F | F | -1* |
188 | $sv | T* | T* | F* | F* | F | F | -1* |
189 | $rv | T* | T* | F* | F* | F | F | -1* |
190 | $ov | F* | F* | T* | T* | F | F | 1 * |
191 | $va | F* | T* | F* | T* | T* | T* | 0 * |
192 | $cp | F* | T* | F* | T* | T | T | 0 * |
193 | $ep | EXN | EXN | EXN | EXN | F | F | EXN |
194 | $lp | F* | F* | T* | T* | F | F | 1 * |
195 | $qp | T* | T* | F* | F* | F | F | -1* |
196 | WRAPA($nv) | T* | T* | F* | F* | F | F | -1* |
197 | WRAPA($tv) | F* | T* | F* | T* | T | F | 0 * |
198 | WRAPA($bv) | T* | T* | F* | F* | F | F | -1* |
199 | WRAPA($iv) | T* | T* | F* | F* | F | F | -1* |
200 | WRAPA($fv) | T* | T* | F* | F* | F | F | -1* |
201 | WRAPA($sv) | T* | T* | F* | F* | F | F | -1* |
202 | WRAPA($rv) | T* | T* | F* | F* | F | F | -1* |
203 | WRAPA($ov) | F* | F* | T* | T* | F | F | 1 * |
204 | WRAPA($va) | F* | T* | F* | T* | T* | T* | 0 * |
205 | WRAPA($cp) | F* | T* | F* | T* | T | T | 0 * |
206 | WRAPA($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
207 | WRAPA($lp) | F* | F* | T* | T* | F | F | 1 * |
208 | WRAPA($qp) | T* | T* | F* | F* | F | F | -1* |
209 | WRAPO($nv) | T* | T* | F* | F* | F | F | -1* |
210 | WRAPO($tv) | F* | T* | F* | T* | T | F | 0 * |
211 | WRAPO($bv) | T* | T* | F* | F* | F | F | -1* |
212 | WRAPO($iv) | T* | T* | F* | F* | F | F | -1* |
213 | WRAPO($fv) | T* | T* | F* | F* | F | F | -1* |
214 | WRAPO($sv) | T* | T* | F* | F* | F | F | -1* |
215 | WRAPO($rv) | T* | T* | F* | F* | F | F | -1* |
216 | WRAPO($ov) | F* | F* | T* | T* | F | F | 1 * |
217 | WRAPO($va) | F* | T* | F* | T* | T* | F | 0 * |
218 | WRAPO($cp) | F* | T* | F* | T* | T | F | 0 * |
219 | WRAPO($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
220 | WRAPO($lp) | F* | F* | T* | T* | F | F | 1 * |
221 | WRAPO($qp) | T* | T* | F* | F* | F | F | -1* |
222 | WRAPD($nv) | T* | T* | F* | F* | F | F | -1* |
223 | WRAPD($tv) | F* | T* | F* | T* | T | F | 0 * |
224 | WRAPD($bv) | T* | T* | F* | F* | F | F | -1* |
225 | WRAPD($iv) | T* | T* | F* | F* | F | F | -1* |
226 | WRAPD($fv) | T* | T* | F* | F* | F | F | -1* |
227 | WRAPD($sv) | T* | T* | F* | F* | F | F | -1* |
228 | WRAPD($rv) | T* | T* | F* | F* | F | F | -1* |
229 | WRAPD($ov) | F* | F* | T* | T* | F | F | 1 * |
230 | WRAPD($va) | F* | T* | F* | T* | T* | F | 0 * |
231 | WRAPD($cp) | F* | T* | F* | T* | T | F | 0 * |
232 | WRAPD($ep) | EXN | EXN | EXN | EXN | F | F | EXN |
233 | WRAPD($lp) | F* | F* | T* | T* | F | F | 1 * |
234 | WRAPD($qp) | T* | T* | F* | F* | F | F | -1* |
235 +------------+------+------+------+------+------+------+------+