@cssints/apg-specs 0.0.0-stage → 0.5.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (260) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +65 -2
  3. package/dist/apg/accordion.bridge.d.mts +35 -0
  4. package/dist/apg/accordion.bridge.mjs +326 -0
  5. package/dist/apg/accordion.model.json +8397 -0
  6. package/dist/apg/alert.bridge.d.mts +22 -0
  7. package/dist/apg/alert.bridge.mjs +86 -0
  8. package/dist/apg/alert.model.json +871 -0
  9. package/dist/apg/alertdialog.bridge.d.mts +21 -0
  10. package/dist/apg/alertdialog.bridge.mjs +221 -0
  11. package/dist/apg/alertdialog.model.json +5232 -0
  12. package/dist/apg/breadcrumb.bridge.d.mts +26 -0
  13. package/dist/apg/breadcrumb.bridge.mjs +120 -0
  14. package/dist/apg/breadcrumb.model.json +574 -0
  15. package/dist/apg/button.bridge.d.mts +35 -0
  16. package/dist/apg/button.bridge.mjs +208 -0
  17. package/dist/apg/button.model.json +5814 -0
  18. package/dist/apg/carousel.bridge.d.mts +44 -0
  19. package/dist/apg/carousel.bridge.mjs +262 -0
  20. package/dist/apg/carousel.model.json +8963 -0
  21. package/dist/apg/checkbox-group.bridge.d.mts +25 -0
  22. package/dist/apg/checkbox-group.bridge.mjs +276 -0
  23. package/dist/apg/checkbox-group.model.json +3863 -0
  24. package/dist/apg/checkbox.bridge.d.mts +34 -0
  25. package/dist/apg/checkbox.bridge.mjs +253 -0
  26. package/dist/apg/checkbox.model.json +3158 -0
  27. package/dist/apg/combobox-autocomplete.bridge.d.mts +14 -0
  28. package/dist/apg/combobox-autocomplete.bridge.mjs +326 -0
  29. package/dist/apg/combobox-autocomplete.model.json +11586 -0
  30. package/dist/apg/combobox-dialog.bridge.d.mts +17 -0
  31. package/dist/apg/combobox-dialog.bridge.mjs +250 -0
  32. package/dist/apg/combobox-dialog.model.json +8981 -0
  33. package/dist/apg/combobox-grid.bridge.d.mts +17 -0
  34. package/dist/apg/combobox-grid.bridge.mjs +227 -0
  35. package/dist/apg/combobox-grid.model.json +8554 -0
  36. package/dist/apg/combobox-select-only.bridge.d.mts +24 -0
  37. package/dist/apg/combobox-select-only.bridge.mjs +304 -0
  38. package/dist/apg/combobox-select-only.model.json +7846 -0
  39. package/dist/apg/combobox-tree.bridge.d.mts +17 -0
  40. package/dist/apg/combobox-tree.bridge.mjs +211 -0
  41. package/dist/apg/combobox-tree.model.json +9345 -0
  42. package/dist/apg/dialog-modal.bridge.d.mts +35 -0
  43. package/dist/apg/dialog-modal.bridge.mjs +186 -0
  44. package/dist/apg/dialog-modal.model.json +7580 -0
  45. package/dist/apg/disclosure.bridge.d.mts +25 -0
  46. package/dist/apg/disclosure.bridge.mjs +202 -0
  47. package/dist/apg/disclosure.model.json +4703 -0
  48. package/dist/apg/feed.bridge.d.mts +31 -0
  49. package/dist/apg/feed.bridge.mjs +246 -0
  50. package/dist/apg/feed.model.json +4523 -0
  51. package/dist/apg/grid-selection.bridge.d.mts +13 -0
  52. package/dist/apg/grid-selection.bridge.mjs +160 -0
  53. package/dist/apg/grid-selection.model.json +6974 -0
  54. package/dist/apg/grid-sort.bridge.d.mts +12 -0
  55. package/dist/apg/grid-sort.bridge.mjs +138 -0
  56. package/dist/apg/grid-sort.model.json +3799 -0
  57. package/dist/apg/grid.bridge.d.mts +54 -0
  58. package/dist/apg/grid.bridge.mjs +441 -0
  59. package/dist/apg/grid.model.json +3802 -0
  60. package/dist/apg/link.bridge.d.mts +24 -0
  61. package/dist/apg/link.bridge.mjs +126 -0
  62. package/dist/apg/link.model.json +694 -0
  63. package/dist/apg/listbox-multi.bridge.d.mts +10 -0
  64. package/dist/apg/listbox-multi.bridge.mjs +261 -0
  65. package/dist/apg/listbox-multi.model.json +10893 -0
  66. package/dist/apg/listbox-rearrangeable.bridge.d.mts +20 -0
  67. package/dist/apg/listbox-rearrangeable.bridge.mjs +237 -0
  68. package/dist/apg/listbox-rearrangeable.model.json +17592 -0
  69. package/dist/apg/listbox-shared.d.mts +58 -0
  70. package/dist/apg/listbox-shared.mjs +171 -0
  71. package/dist/apg/listbox-single.bridge.d.mts +10 -0
  72. package/dist/apg/listbox-single.bridge.mjs +196 -0
  73. package/dist/apg/listbox-single.model.json +8024 -0
  74. package/dist/apg/listbox-typeahead.bridge.d.mts +10 -0
  75. package/dist/apg/listbox-typeahead.bridge.mjs +153 -0
  76. package/dist/apg/listbox-typeahead.model.json +5615 -0
  77. package/dist/apg/menu-button.bridge.d.mts +29 -0
  78. package/dist/apg/menu-button.bridge.mjs +259 -0
  79. package/dist/apg/menu-button.model.json +5706 -0
  80. package/dist/apg/menu-checkable.bridge.d.mts +25 -0
  81. package/dist/apg/menu-checkable.bridge.mjs +226 -0
  82. package/dist/apg/menu-checkable.model.json +4277 -0
  83. package/dist/apg/menu-menubar.bridge.d.mts +27 -0
  84. package/dist/apg/menu-menubar.bridge.mjs +273 -0
  85. package/dist/apg/menu-menubar.model.json +9540 -0
  86. package/dist/apg/meter.bridge.d.mts +28 -0
  87. package/dist/apg/meter.bridge.mjs +159 -0
  88. package/dist/apg/meter.model.json +1185 -0
  89. package/dist/apg/player.bridge.d.mts +24 -0
  90. package/dist/apg/player.bridge.mjs +342 -0
  91. package/dist/apg/player.model.json +11013 -0
  92. package/dist/apg/radio.bridge.d.mts +35 -0
  93. package/dist/apg/radio.bridge.mjs +371 -0
  94. package/dist/apg/radio.model.json +5011 -0
  95. package/dist/apg/slider-multithumb.bridge.d.mts +34 -0
  96. package/dist/apg/slider-multithumb.bridge.mjs +365 -0
  97. package/dist/apg/slider-multithumb.model.json +5774 -0
  98. package/dist/apg/slider.bridge.d.mts +54 -0
  99. package/dist/apg/slider.bridge.mjs +359 -0
  100. package/dist/apg/slider.model.json +4881 -0
  101. package/dist/apg/spinbutton.bridge.d.mts +41 -0
  102. package/dist/apg/spinbutton.bridge.mjs +327 -0
  103. package/dist/apg/spinbutton.model.json +7571 -0
  104. package/dist/apg/switch.bridge.d.mts +30 -0
  105. package/dist/apg/switch.bridge.mjs +243 -0
  106. package/dist/apg/switch.model.json +3159 -0
  107. package/dist/apg/tabs.bridge.d.mts +41 -0
  108. package/dist/apg/tabs.bridge.mjs +294 -0
  109. package/dist/apg/tabs.model.json +7659 -0
  110. package/dist/apg/timeline.bridge.d.mts +36 -0
  111. package/dist/apg/timeline.bridge.mjs +265 -0
  112. package/dist/apg/timeline.model.json +6189 -0
  113. package/dist/apg/toolbar.bridge.d.mts +25 -0
  114. package/dist/apg/toolbar.bridge.mjs +307 -0
  115. package/dist/apg/toolbar.model.json +6616 -0
  116. package/dist/apg/tooltip.bridge.d.mts +36 -0
  117. package/dist/apg/tooltip.bridge.mjs +208 -0
  118. package/dist/apg/tooltip.model.json +8295 -0
  119. package/dist/apg/treegrid.bridge.d.mts +28 -0
  120. package/dist/apg/treegrid.bridge.mjs +311 -0
  121. package/dist/apg/treegrid.model.json +17358 -0
  122. package/dist/apg/treeview.bridge.d.mts +26 -0
  123. package/dist/apg/treeview.bridge.mjs +396 -0
  124. package/dist/apg/treeview.model.json +13745 -0
  125. package/dist/apg/windowsplitter.bridge.d.mts +36 -0
  126. package/dist/apg/windowsplitter.bridge.mjs +242 -0
  127. package/dist/apg/windowsplitter.model.json +6253 -0
  128. package/dist/canvas/camera.model.json +6568 -0
  129. package/dist/canvas/canvas.bridge.d.mts +190 -0
  130. package/dist/canvas/canvas.bridge.mjs +729 -0
  131. package/dist/canvas/pointer.model.json +17095 -0
  132. package/dist/scenario.d.mts +233 -0
  133. package/dist/scenario.mjs +313 -0
  134. package/package.json +57 -4
  135. package/scenarios/apg/README.md +221 -0
  136. package/scenarios/apg/accordion.base-ui.json +1005 -0
  137. package/scenarios/apg/accordion.react-aria.json +929 -0
  138. package/scenarios/apg/alert.base-ui.json +81 -0
  139. package/scenarios/apg/alert.react-aria.json +98 -0
  140. package/scenarios/apg/alertdialog.base-ui.json +331 -0
  141. package/scenarios/apg/alertdialog.react-aria.json +225 -0
  142. package/scenarios/apg/breadcrumb.react-aria.json +312 -0
  143. package/scenarios/apg/button.ariakit.json +136 -0
  144. package/scenarios/apg/button.base-ui.json +747 -0
  145. package/scenarios/apg/button.react-aria.json +443 -0
  146. package/scenarios/apg/carousel.apg.json +909 -0
  147. package/scenarios/apg/checkbox.ariakit.json +299 -0
  148. package/scenarios/apg/checkbox.base-ui.json +1126 -0
  149. package/scenarios/apg/checkbox.react-aria.json +518 -0
  150. package/scenarios/apg/combobox.ariakit.json +945 -0
  151. package/scenarios/apg/combobox.base-ui.json +2444 -0
  152. package/scenarios/apg/combobox.react-aria.json +845 -0
  153. package/scenarios/apg/dialog-modal.ariakit.json +1102 -0
  154. package/scenarios/apg/dialog-modal.base-ui.json +775 -0
  155. package/scenarios/apg/dialog-modal.react-aria.json +638 -0
  156. package/scenarios/apg/disclosure.apg.json +349 -0
  157. package/scenarios/apg/disclosure.ariakit.json +163 -0
  158. package/scenarios/apg/disclosure.base-ui.json +451 -0
  159. package/scenarios/apg/disclosure.react-aria.json +643 -0
  160. package/scenarios/apg/feed.apg.json +442 -0
  161. package/scenarios/apg/grid.ariakit.json +197 -0
  162. package/scenarios/apg/grid.base-ui.json +720 -0
  163. package/scenarios/apg/grid.react-aria.json +969 -0
  164. package/scenarios/apg/landmarks.ariakit.json +93 -0
  165. package/scenarios/apg/landmarks.react-aria.json +330 -0
  166. package/scenarios/apg/link.ariakit.json +83 -0
  167. package/scenarios/apg/link.base-ui.json +88 -0
  168. package/scenarios/apg/link.react-aria.json +186 -0
  169. package/scenarios/apg/listbox.ariakit.json +78 -0
  170. package/scenarios/apg/listbox.base-ui.json +163 -0
  171. package/scenarios/apg/listbox.react-aria.json +1118 -0
  172. package/scenarios/apg/menu-button.ariakit.json +924 -0
  173. package/scenarios/apg/menu-button.base-ui.json +1155 -0
  174. package/scenarios/apg/menu-button.react-aria.json +1080 -0
  175. package/scenarios/apg/menubar.ariakit.json +758 -0
  176. package/scenarios/apg/menubar.base-ui.json +673 -0
  177. package/scenarios/apg/meter.base-ui.json +243 -0
  178. package/scenarios/apg/meter.react-aria.json +201 -0
  179. package/scenarios/apg/radio.ariakit.json +459 -0
  180. package/scenarios/apg/radio.base-ui.json +581 -0
  181. package/scenarios/apg/radio.react-aria.json +576 -0
  182. package/scenarios/apg/slider-multithumb.base-ui.json +316 -0
  183. package/scenarios/apg/slider-multithumb.react-aria.json +363 -0
  184. package/scenarios/apg/slider.base-ui.json +544 -0
  185. package/scenarios/apg/slider.react-aria.json +456 -0
  186. package/scenarios/apg/spinbutton.base-ui.json +1688 -0
  187. package/scenarios/apg/spinbutton.react-aria.json +426 -0
  188. package/scenarios/apg/switch.base-ui.json +456 -0
  189. package/scenarios/apg/switch.react-aria.json +303 -0
  190. package/scenarios/apg/table.ariakit.json +65 -0
  191. package/scenarios/apg/table.react-aria.json +221 -0
  192. package/scenarios/apg/tabs.ariakit.json +329 -0
  193. package/scenarios/apg/tabs.base-ui.json +875 -0
  194. package/scenarios/apg/tabs.react-aria.json +644 -0
  195. package/scenarios/apg/toolbar.ariakit.json +595 -0
  196. package/scenarios/apg/toolbar.base-ui.json +1189 -0
  197. package/scenarios/apg/toolbar.react-aria.json +383 -0
  198. package/scenarios/apg/tooltip.ariakit.json +441 -0
  199. package/scenarios/apg/tooltip.base-ui.json +411 -0
  200. package/scenarios/apg/tooltip.react-aria.json +454 -0
  201. package/scenarios/apg/treegrid.apg.json +2558 -0
  202. package/scenarios/apg/treegrid.react-aria.json +5094 -0
  203. package/scenarios/apg/treeview.apg.json +928 -0
  204. package/scenarios/apg/windowsplitter.apg.json +557 -0
  205. package/scenarios/canvas/README.md +69 -0
  206. package/scenarios/canvas/camera.contract.json +237 -0
  207. package/scenarios/canvas/camera.excalidraw.json +57 -0
  208. package/scenarios/canvas/marquee.excalidraw.json +122 -0
  209. package/scenarios/canvas/pan.excalidraw.json +46 -0
  210. package/scenarios/canvas/pointer.contract.json +528 -0
  211. package/scenarios/parts.json +291 -0
  212. package/shared/aria.qnt +186 -0
  213. package/shared/details-group.qnt +50 -0
  214. package/shared/focusgroup.qnt +152 -0
  215. package/shared/invokers.qnt +81 -0
  216. package/shared/popover.qnt +71 -0
  217. package/specs/apg/STATIC.md +103 -0
  218. package/specs/apg/accordion.qnt +578 -0
  219. package/specs/apg/alert.qnt +131 -0
  220. package/specs/apg/alertdialog.qnt +455 -0
  221. package/specs/apg/breadcrumb.qnt +88 -0
  222. package/specs/apg/button.qnt +445 -0
  223. package/specs/apg/carousel.qnt +732 -0
  224. package/specs/apg/checkbox-group.qnt +388 -0
  225. package/specs/apg/checkbox.qnt +394 -0
  226. package/specs/apg/combobox-autocomplete.qnt +764 -0
  227. package/specs/apg/combobox-dialog.qnt +627 -0
  228. package/specs/apg/combobox-grid.qnt +632 -0
  229. package/specs/apg/combobox-select-only.qnt +626 -0
  230. package/specs/apg/combobox-tree.qnt +633 -0
  231. package/specs/apg/dialog-modal.qnt +499 -0
  232. package/specs/apg/disclosure.qnt +309 -0
  233. package/specs/apg/feed.qnt +485 -0
  234. package/specs/apg/grid-selection.qnt +512 -0
  235. package/specs/apg/grid-sort.qnt +330 -0
  236. package/specs/apg/grid.qnt +360 -0
  237. package/specs/apg/link.qnt +119 -0
  238. package/specs/apg/listbox-multi.qnt +799 -0
  239. package/specs/apg/listbox-rearrangeable.qnt +801 -0
  240. package/specs/apg/listbox-single.qnt +511 -0
  241. package/specs/apg/listbox-typeahead.qnt +396 -0
  242. package/specs/apg/menu-button.qnt +363 -0
  243. package/specs/apg/menu-checkable.qnt +304 -0
  244. package/specs/apg/menu-menubar.qnt +531 -0
  245. package/specs/apg/meter.qnt +129 -0
  246. package/specs/apg/player.qnt +1081 -0
  247. package/specs/apg/radio.qnt +394 -0
  248. package/specs/apg/slider-multithumb.qnt +441 -0
  249. package/specs/apg/slider.qnt +396 -0
  250. package/specs/apg/spinbutton.qnt +494 -0
  251. package/specs/apg/switch.qnt +389 -0
  252. package/specs/apg/tabs.qnt +412 -0
  253. package/specs/apg/timeline.qnt +612 -0
  254. package/specs/apg/toolbar.qnt +364 -0
  255. package/specs/apg/tooltip.qnt +553 -0
  256. package/specs/apg/treegrid.qnt +983 -0
  257. package/specs/apg/treeview.qnt +1004 -0
  258. package/specs/apg/windowsplitter.qnt +487 -0
  259. package/specs/canvas/camera.qnt +407 -0
  260. package/specs/canvas/pointer.qnt +841 -0
package/dist/apg/slider.model.json ADDED
@@ -0,0 +1,4881 @@
1
+ {
2
+ "generatedFrom": "../../specs/apg/slider.qnt",
3
+ "specHash": "189f136f0b8c0e2ab5d6f3dc6145065fac2e2d0f97d2b54b720af8d8f390e635",
4
+ "module": "apg_slider",
5
+ "vars": [
6
+ {
7
+ "name": "flavor",
8
+ "type": "int"
9
+ },
10
+ {
11
+ "name": "value",
12
+ "type": "int"
13
+ },
14
+ {
15
+ "name": "focused",
16
+ "type": "bool"
17
+ },
18
+ {
19
+ "name": "orientation",
20
+ "type": "str"
21
+ },
22
+ {
23
+ "name": "dir",
24
+ "type": "str"
25
+ },
26
+ {
27
+ "name": "handled",
28
+ "type": "bool"
29
+ },
30
+ {
31
+ "name": "controlled",
32
+ "type": "bool"
33
+ },
34
+ {
35
+ "name": "accepting",
36
+ "type": "bool"
37
+ },
38
+ {
39
+ "name": "valueProp",
40
+ "type": "int"
41
+ },
42
+ {
43
+ "name": "requested",
44
+ "type": "int"
45
+ },
46
+ {
47
+ "name": "outcome",
48
+ "type": "str"
49
+ },
50
+ {
51
+ "name": "base",
52
+ "type": "int"
53
+ },
54
+ {
55
+ "name": "requests",
56
+ "type": "int"
57
+ }
58
+ ],
59
+ "defs": {
60
+ "rangeMin": {
61
+ "kind": "function",
62
+ "params": [],
63
+ "body": {
64
+ "kind": "int",
65
+ "value": "0"
66
+ }
67
+ },
68
+ "rangeMax": {
69
+ "kind": "function",
70
+ "params": [],
71
+ "body": {
72
+ "kind": "int",
73
+ "value": "10"
74
+ }
75
+ },
76
+ "variantSmallStep": {
77
+ "kind": "function",
78
+ "params": [
79
+ "v"
80
+ ],
81
+ "body": {
82
+ "kind": "app",
83
+ "opcode": "ite",
84
+ "args": [
85
+ {
86
+ "kind": "app",
87
+ "opcode": "eq",
88
+ "args": [
89
+ {
90
+ "kind": "name",
91
+ "name": "v"
92
+ },
93
+ {
94
+ "kind": "int",
95
+ "value": "1"
96
+ }
97
+ ]
98
+ },
99
+ {
100
+ "kind": "int",
101
+ "value": "2"
102
+ },
103
+ {
104
+ "kind": "int",
105
+ "value": "1"
106
+ }
107
+ ]
108
+ }
109
+ },
110
+ "variantLargeStep": {
111
+ "kind": "function",
112
+ "params": [
113
+ "v"
114
+ ],
115
+ "body": {
116
+ "kind": "app",
117
+ "opcode": "ite",
118
+ "args": [
119
+ {
120
+ "kind": "app",
121
+ "opcode": "eq",
122
+ "args": [
123
+ {
124
+ "kind": "name",
125
+ "name": "v"
126
+ },
127
+ {
128
+ "kind": "int",
129
+ "value": "1"
130
+ }
131
+ ]
132
+ },
133
+ {
134
+ "kind": "int",
135
+ "value": "4"
136
+ },
137
+ {
138
+ "kind": "int",
139
+ "value": "3"
140
+ }
141
+ ]
142
+ }
143
+ },
144
+ "variantStart": {
145
+ "kind": "function",
146
+ "params": [
147
+ "v"
148
+ ],
149
+ "body": {
150
+ "kind": "app",
151
+ "opcode": "ite",
152
+ "args": [
153
+ {
154
+ "kind": "app",
155
+ "opcode": "eq",
156
+ "args": [
157
+ {
158
+ "kind": "name",
159
+ "name": "v"
160
+ },
161
+ {
162
+ "kind": "int",
163
+ "value": "1"
164
+ }
165
+ ]
166
+ },
167
+ {
168
+ "kind": "int",
169
+ "value": "6"
170
+ },
171
+ {
172
+ "kind": "int",
173
+ "value": "5"
174
+ }
175
+ ]
176
+ }
177
+ },
178
+ "smallStep": {
179
+ "kind": "function",
180
+ "params": [],
181
+ "body": {
182
+ "kind": "app",
183
+ "opcode": "variantSmallStep",
184
+ "args": [
185
+ {
186
+ "kind": "name",
187
+ "name": "flavor"
188
+ }
189
+ ]
190
+ }
191
+ },
192
+ "largeStep": {
193
+ "kind": "function",
194
+ "params": [],
195
+ "body": {
196
+ "kind": "app",
197
+ "opcode": "variantLargeStep",
198
+ "args": [
199
+ {
200
+ "kind": "name",
201
+ "name": "flavor"
202
+ }
203
+ ]
204
+ }
205
+ },
206
+ "clamp": {
207
+ "kind": "function",
208
+ "params": [
209
+ "v"
210
+ ],
211
+ "body": {
212
+ "kind": "app",
213
+ "opcode": "ite",
214
+ "args": [
215
+ {
216
+ "kind": "app",
217
+ "opcode": "ilt",
218
+ "args": [
219
+ {
220
+ "kind": "name",
221
+ "name": "v"
222
+ },
223
+ {
224
+ "kind": "name",
225
+ "name": "rangeMin"
226
+ }
227
+ ]
228
+ },
229
+ {
230
+ "kind": "name",
231
+ "name": "rangeMin"
232
+ },
233
+ {
234
+ "kind": "app",
235
+ "opcode": "ite",
236
+ "args": [
237
+ {
238
+ "kind": "app",
239
+ "opcode": "igt",
240
+ "args": [
241
+ {
242
+ "kind": "name",
243
+ "name": "v"
244
+ },
245
+ {
246
+ "kind": "name",
247
+ "name": "rangeMax"
248
+ }
249
+ ]
250
+ },
251
+ {
252
+ "kind": "name",
253
+ "name": "rangeMax"
254
+ },
255
+ {
256
+ "kind": "name",
257
+ "name": "v"
258
+ }
259
+ ]
260
+ }
261
+ ]
262
+ }
263
+ },
264
+ "snap": {
265
+ "kind": "function",
266
+ "params": [
267
+ "v"
268
+ ],
269
+ "body": {
270
+ "kind": "app",
271
+ "opcode": "iadd",
272
+ "args": [
273
+ {
274
+ "kind": "name",
275
+ "name": "rangeMin"
276
+ },
277
+ {
278
+ "kind": "app",
279
+ "opcode": "imul",
280
+ "args": [
281
+ {
282
+ "kind": "app",
283
+ "opcode": "idiv",
284
+ "args": [
285
+ {
286
+ "kind": "app",
287
+ "opcode": "iadd",
288
+ "args": [
289
+ {
290
+ "kind": "app",
291
+ "opcode": "isub",
292
+ "args": [
293
+ {
294
+ "kind": "name",
295
+ "name": "v"
296
+ },
297
+ {
298
+ "kind": "name",
299
+ "name": "rangeMin"
300
+ }
301
+ ]
302
+ },
303
+ {
304
+ "kind": "app",
305
+ "opcode": "idiv",
306
+ "args": [
307
+ {
308
+ "kind": "name",
309
+ "name": "smallStep"
310
+ },
311
+ {
312
+ "kind": "int",
313
+ "value": "2"
314
+ }
315
+ ]
316
+ }
317
+ ]
318
+ },
319
+ {
320
+ "kind": "name",
321
+ "name": "smallStep"
322
+ }
323
+ ]
324
+ },
325
+ {
326
+ "kind": "name",
327
+ "name": "smallStep"
328
+ }
329
+ ]
330
+ }
331
+ ]
332
+ }
333
+ },
334
+ "pointerValue": {
335
+ "kind": "function",
336
+ "params": [
337
+ "raw"
338
+ ],
339
+ "body": {
340
+ "kind": "app",
341
+ "opcode": "clamp",
342
+ "args": [
343
+ {
344
+ "kind": "app",
345
+ "opcode": "snap",
346
+ "args": [
347
+ {
348
+ "kind": "name",
349
+ "name": "raw"
350
+ }
351
+ ]
352
+ }
353
+ ]
354
+ }
355
+ },
356
+ "keyDelta": {
357
+ "kind": "function",
358
+ "params": [
359
+ "k",
360
+ "o",
361
+ "d"
362
+ ],
363
+ "body": {
364
+ "kind": "app",
365
+ "opcode": "ite",
366
+ "args": [
367
+ {
368
+ "kind": "app",
369
+ "opcode": "eq",
370
+ "args": [
371
+ {
372
+ "kind": "name",
373
+ "name": "k"
374
+ },
375
+ {
376
+ "kind": "str",
377
+ "value": "PageUp"
378
+ }
379
+ ]
380
+ },
381
+ {
382
+ "kind": "name",
383
+ "name": "largeStep"
384
+ },
385
+ {
386
+ "kind": "app",
387
+ "opcode": "ite",
388
+ "args": [
389
+ {
390
+ "kind": "app",
391
+ "opcode": "eq",
392
+ "args": [
393
+ {
394
+ "kind": "name",
395
+ "name": "k"
396
+ },
397
+ {
398
+ "kind": "str",
399
+ "value": "PageDown"
400
+ }
401
+ ]
402
+ },
403
+ {
404
+ "kind": "app",
405
+ "opcode": "iuminus",
406
+ "args": [
407
+ {
408
+ "kind": "name",
409
+ "name": "largeStep"
410
+ }
411
+ ]
412
+ },
413
+ {
414
+ "kind": "app",
415
+ "opcode": "imul",
416
+ "args": [
417
+ {
418
+ "kind": "name",
419
+ "name": "smallStep"
420
+ },
421
+ {
422
+ "kind": "app",
423
+ "opcode": "ariaValueArrow",
424
+ "args": [
425
+ {
426
+ "kind": "name",
427
+ "name": "k"
428
+ },
429
+ {
430
+ "kind": "name",
431
+ "name": "o"
432
+ },
433
+ {
434
+ "kind": "name",
435
+ "name": "d"
436
+ }
437
+ ]
438
+ }
439
+ ]
440
+ }
441
+ ]
442
+ }
443
+ ]
444
+ }
445
+ },
446
+ "isHandledKey": {
447
+ "kind": "function",
448
+ "params": [
449
+ "k"
450
+ ],
451
+ "body": {
452
+ "kind": "app",
453
+ "opcode": "or",
454
+ "args": [
455
+ {
456
+ "kind": "app",
457
+ "opcode": "eq",
458
+ "args": [
459
+ {
460
+ "kind": "name",
461
+ "name": "k"
462
+ },
463
+ {
464
+ "kind": "str",
465
+ "value": "Home"
466
+ }
467
+ ]
468
+ },
469
+ {
470
+ "kind": "app",
471
+ "opcode": "eq",
472
+ "args": [
473
+ {
474
+ "kind": "name",
475
+ "name": "k"
476
+ },
477
+ {
478
+ "kind": "str",
479
+ "value": "End"
480
+ }
481
+ ]
482
+ },
483
+ {
484
+ "kind": "app",
485
+ "opcode": "neq",
486
+ "args": [
487
+ {
488
+ "kind": "app",
489
+ "opcode": "keyDelta",
490
+ "args": [
491
+ {
492
+ "kind": "name",
493
+ "name": "k"
494
+ },
495
+ {
496
+ "kind": "str",
497
+ "value": "horizontal"
498
+ },
499
+ {
500
+ "kind": "str",
501
+ "value": "ltr"
502
+ }
503
+ ]
504
+ },
505
+ {
506
+ "kind": "int",
507
+ "value": "0"
508
+ }
509
+ ]
510
+ }
511
+ ]
512
+ }
513
+ },
514
+ "nextValue": {
515
+ "kind": "function",
516
+ "params": [
517
+ "v",
518
+ "k",
519
+ "o",
520
+ "d"
521
+ ],
522
+ "body": {
523
+ "kind": "app",
524
+ "opcode": "ite",
525
+ "args": [
526
+ {
527
+ "kind": "app",
528
+ "opcode": "eq",
529
+ "args": [
530
+ {
531
+ "kind": "name",
532
+ "name": "k"
533
+ },
534
+ {
535
+ "kind": "str",
536
+ "value": "Home"
537
+ }
538
+ ]
539
+ },
540
+ {
541
+ "kind": "name",
542
+ "name": "rangeMin"
543
+ },
544
+ {
545
+ "kind": "app",
546
+ "opcode": "ite",
547
+ "args": [
548
+ {
549
+ "kind": "app",
550
+ "opcode": "eq",
551
+ "args": [
552
+ {
553
+ "kind": "name",
554
+ "name": "k"
555
+ },
556
+ {
557
+ "kind": "str",
558
+ "value": "End"
559
+ }
560
+ ]
561
+ },
562
+ {
563
+ "kind": "name",
564
+ "name": "rangeMax"
565
+ },
566
+ {
567
+ "kind": "app",
568
+ "opcode": "clamp",
569
+ "args": [
570
+ {
571
+ "kind": "app",
572
+ "opcode": "iadd",
573
+ "args": [
574
+ {
575
+ "kind": "name",
576
+ "name": "v"
577
+ },
578
+ {
579
+ "kind": "app",
580
+ "opcode": "keyDelta",
581
+ "args": [
582
+ {
583
+ "kind": "name",
584
+ "name": "k"
585
+ },
586
+ {
587
+ "kind": "name",
588
+ "name": "o"
589
+ },
590
+ {
591
+ "kind": "name",
592
+ "name": "d"
593
+ }
594
+ ]
595
+ }
596
+ ]
597
+ }
598
+ ]
599
+ }
600
+ ]
601
+ }
602
+ ]
603
+ }
604
+ },
605
+ "valueTextFor": {
606
+ "kind": "function",
607
+ "params": [
608
+ "v"
609
+ ],
610
+ "body": {
611
+ "kind": "app",
612
+ "opcode": "ite",
613
+ "args": [
614
+ {
615
+ "kind": "app",
616
+ "opcode": "ilte",
617
+ "args": [
618
+ {
619
+ "kind": "name",
620
+ "name": "v"
621
+ },
622
+ {
623
+ "kind": "int",
624
+ "value": "3"
625
+ }
626
+ ]
627
+ },
628
+ {
629
+ "kind": "str",
630
+ "value": "low"
631
+ },
632
+ {
633
+ "kind": "app",
634
+ "opcode": "ite",
635
+ "args": [
636
+ {
637
+ "kind": "app",
638
+ "opcode": "ilte",
639
+ "args": [
640
+ {
641
+ "kind": "name",
642
+ "name": "v"
643
+ },
644
+ {
645
+ "kind": "int",
646
+ "value": "7"
647
+ }
648
+ ]
649
+ },
650
+ {
651
+ "kind": "str",
652
+ "value": "medium"
653
+ },
654
+ {
655
+ "kind": "str",
656
+ "value": "high"
657
+ }
658
+ ]
659
+ }
660
+ ]
661
+ }
662
+ },
663
+ "moved": {
664
+ "kind": "function",
665
+ "params": [
666
+ "before",
667
+ "after"
668
+ ],
669
+ "body": {
670
+ "kind": "app",
671
+ "opcode": "ite",
672
+ "args": [
673
+ {
674
+ "kind": "app",
675
+ "opcode": "eq",
676
+ "args": [
677
+ {
678
+ "kind": "name",
679
+ "name": "before"
680
+ },
681
+ {
682
+ "kind": "name",
683
+ "name": "after"
684
+ }
685
+ ]
686
+ },
687
+ {
688
+ "kind": "int",
689
+ "value": "0"
690
+ },
691
+ {
692
+ "kind": "int",
693
+ "value": "1"
694
+ }
695
+ ]
696
+ }
697
+ },
698
+ "wants": {
699
+ "kind": "function",
700
+ "params": [
701
+ "f",
702
+ "current",
703
+ "want"
704
+ ],
705
+ "body": {
706
+ "kind": "app",
707
+ "opcode": "and",
708
+ "args": [
709
+ {
710
+ "kind": "name",
711
+ "name": "f"
712
+ },
713
+ {
714
+ "kind": "app",
715
+ "opcode": "neq",
716
+ "args": [
717
+ {
718
+ "kind": "name",
719
+ "name": "want"
720
+ },
721
+ {
722
+ "kind": "name",
723
+ "name": "current"
724
+ }
725
+ ]
726
+ }
727
+ ]
728
+ }
729
+ },
730
+ "willRequest": {
731
+ "kind": "function",
732
+ "params": [
733
+ "f",
734
+ "k",
735
+ "v",
736
+ "o",
737
+ "d"
738
+ ],
739
+ "body": {
740
+ "kind": "app",
741
+ "opcode": "wants",
742
+ "args": [
743
+ {
744
+ "kind": "name",
745
+ "name": "f"
746
+ },
747
+ {
748
+ "kind": "name",
749
+ "name": "v"
750
+ },
751
+ {
752
+ "kind": "app",
753
+ "opcode": "nextValue",
754
+ "args": [
755
+ {
756
+ "kind": "name",
757
+ "name": "v"
758
+ },
759
+ {
760
+ "kind": "name",
761
+ "name": "k"
762
+ },
763
+ {
764
+ "kind": "name",
765
+ "name": "o"
766
+ },
767
+ {
768
+ "kind": "name",
769
+ "name": "d"
770
+ }
771
+ ]
772
+ }
773
+ ]
774
+ }
775
+ },
776
+ "holds": {
777
+ "kind": "function",
778
+ "params": [],
779
+ "body": {
780
+ "kind": "app",
781
+ "opcode": "and",
782
+ "args": [
783
+ {
784
+ "kind": "name",
785
+ "name": "controlled"
786
+ },
787
+ {
788
+ "kind": "app",
789
+ "opcode": "not",
790
+ "args": [
791
+ {
792
+ "kind": "name",
793
+ "name": "accepting"
794
+ }
795
+ ]
796
+ }
797
+ ]
798
+ }
799
+ },
800
+ "follows": {
801
+ "kind": "function",
802
+ "params": [],
803
+ "body": {
804
+ "kind": "app",
805
+ "opcode": "and",
806
+ "args": [
807
+ {
808
+ "kind": "name",
809
+ "name": "controlled"
810
+ },
811
+ {
812
+ "kind": "name",
813
+ "name": "accepting"
814
+ }
815
+ ]
816
+ }
817
+ },
818
+ "verdict": {
819
+ "kind": "function",
820
+ "params": [],
821
+ "body": {
822
+ "kind": "app",
823
+ "opcode": "ite",
824
+ "args": [
825
+ {
826
+ "kind": "name",
827
+ "name": "holds"
828
+ },
829
+ {
830
+ "kind": "str",
831
+ "value": "rejected"
832
+ },
833
+ {
834
+ "kind": "str",
835
+ "value": "accepted"
836
+ }
837
+ ]
838
+ }
839
+ },
840
+ "landed": {
841
+ "kind": "function",
842
+ "params": [
843
+ "h",
844
+ "current",
845
+ "want"
846
+ ],
847
+ "body": {
848
+ "kind": "app",
849
+ "opcode": "ite",
850
+ "args": [
851
+ {
852
+ "kind": "name",
853
+ "name": "h"
854
+ },
855
+ {
856
+ "kind": "name",
857
+ "name": "current"
858
+ },
859
+ {
860
+ "kind": "name",
861
+ "name": "want"
862
+ }
863
+ ]
864
+ }
865
+ },
866
+ "propAfter": {
867
+ "kind": "function",
868
+ "params": [
869
+ "f",
870
+ "p",
871
+ "want"
872
+ ],
873
+ "body": {
874
+ "kind": "app",
875
+ "opcode": "ite",
876
+ "args": [
877
+ {
878
+ "kind": "name",
879
+ "name": "f"
880
+ },
881
+ {
882
+ "kind": "name",
883
+ "name": "want"
884
+ },
885
+ {
886
+ "kind": "name",
887
+ "name": "p"
888
+ }
889
+ ]
890
+ }
891
+ },
892
+ "ariaRole": {
893
+ "kind": "function",
894
+ "params": [],
895
+ "body": {
896
+ "kind": "str",
897
+ "value": "slider"
898
+ }
899
+ },
900
+ "ariaValueNow": {
901
+ "kind": "function",
902
+ "params": [],
903
+ "body": {
904
+ "kind": "name",
905
+ "name": "value"
906
+ }
907
+ },
908
+ "ariaValueMin": {
909
+ "kind": "function",
910
+ "params": [],
911
+ "body": {
912
+ "kind": "name",
913
+ "name": "rangeMin"
914
+ }
915
+ },
916
+ "ariaValueMax": {
917
+ "kind": "function",
918
+ "params": [],
919
+ "body": {
920
+ "kind": "name",
921
+ "name": "rangeMax"
922
+ }
923
+ },
924
+ "ariaValueText": {
925
+ "kind": "function",
926
+ "params": [],
927
+ "body": {
928
+ "kind": "app",
929
+ "opcode": "valueTextFor",
930
+ "args": [
931
+ {
932
+ "kind": "name",
933
+ "name": "value"
934
+ }
935
+ ]
936
+ }
937
+ },
938
+ "ariaOrientation": {
939
+ "kind": "function",
940
+ "params": [],
941
+ "body": {
942
+ "kind": "name",
943
+ "name": "orientation"
944
+ }
945
+ },
946
+ "tabIndex": {
947
+ "kind": "function",
948
+ "params": [],
949
+ "body": {
950
+ "kind": "int",
951
+ "value": "0"
952
+ }
953
+ },
954
+ "ValueInRange": {
955
+ "kind": "invariant",
956
+ "params": [],
957
+ "body": {
958
+ "kind": "app",
959
+ "opcode": "and",
960
+ "args": [
961
+ {
962
+ "kind": "app",
963
+ "opcode": "igte",
964
+ "args": [
965
+ {
966
+ "kind": "name",
967
+ "name": "value"
968
+ },
969
+ {
970
+ "kind": "name",
971
+ "name": "rangeMin"
972
+ }
973
+ ]
974
+ },
975
+ {
976
+ "kind": "app",
977
+ "opcode": "ilte",
978
+ "args": [
979
+ {
980
+ "kind": "name",
981
+ "name": "value"
982
+ },
983
+ {
984
+ "kind": "name",
985
+ "name": "rangeMax"
986
+ }
987
+ ]
988
+ }
989
+ ]
990
+ }
991
+ },
992
+ "AriaNowWithinBounds": {
993
+ "kind": "invariant",
994
+ "params": [],
995
+ "body": {
996
+ "kind": "app",
997
+ "opcode": "and",
998
+ "args": [
999
+ {
1000
+ "kind": "app",
1001
+ "opcode": "ilte",
1002
+ "args": [
1003
+ {
1004
+ "kind": "name",
1005
+ "name": "ariaValueMin"
1006
+ },
1007
+ {
1008
+ "kind": "name",
1009
+ "name": "ariaValueNow"
1010
+ }
1011
+ ]
1012
+ },
1013
+ {
1014
+ "kind": "app",
1015
+ "opcode": "ilte",
1016
+ "args": [
1017
+ {
1018
+ "kind": "name",
1019
+ "name": "ariaValueNow"
1020
+ },
1021
+ {
1022
+ "kind": "name",
1023
+ "name": "ariaValueMax"
1024
+ }
1025
+ ]
1026
+ }
1027
+ ]
1028
+ }
1029
+ },
1030
+ "ValueOnStepGrid": {
1031
+ "kind": "invariant",
1032
+ "params": [],
1033
+ "body": {
1034
+ "kind": "app",
1035
+ "opcode": "eq",
1036
+ "args": [
1037
+ {
1038
+ "kind": "app",
1039
+ "opcode": "imod",
1040
+ "args": [
1041
+ {
1042
+ "kind": "app",
1043
+ "opcode": "isub",
1044
+ "args": [
1045
+ {
1046
+ "kind": "name",
1047
+ "name": "value"
1048
+ },
1049
+ {
1050
+ "kind": "name",
1051
+ "name": "rangeMin"
1052
+ }
1053
+ ]
1054
+ },
1055
+ {
1056
+ "kind": "name",
1057
+ "name": "smallStep"
1058
+ }
1059
+ ]
1060
+ },
1061
+ {
1062
+ "kind": "int",
1063
+ "value": "0"
1064
+ }
1065
+ ]
1066
+ }
1067
+ },
1068
+ "ValueTextDerived": {
1069
+ "kind": "invariant",
1070
+ "params": [],
1071
+ "body": {
1072
+ "kind": "app",
1073
+ "opcode": "and",
1074
+ "args": [
1075
+ {
1076
+ "kind": "app",
1077
+ "opcode": "neq",
1078
+ "args": [
1079
+ {
1080
+ "kind": "name",
1081
+ "name": "ariaValueText"
1082
+ },
1083
+ {
1084
+ "kind": "str",
1085
+ "value": ""
1086
+ }
1087
+ ]
1088
+ },
1089
+ {
1090
+ "kind": "app",
1091
+ "opcode": "or",
1092
+ "args": [
1093
+ {
1094
+ "kind": "app",
1095
+ "opcode": "neq",
1096
+ "args": [
1097
+ {
1098
+ "kind": "name",
1099
+ "name": "value"
1100
+ },
1101
+ {
1102
+ "kind": "name",
1103
+ "name": "rangeMin"
1104
+ }
1105
+ ]
1106
+ },
1107
+ {
1108
+ "kind": "app",
1109
+ "opcode": "eq",
1110
+ "args": [
1111
+ {
1112
+ "kind": "name",
1113
+ "name": "ariaValueText"
1114
+ },
1115
+ {
1116
+ "kind": "str",
1117
+ "value": "low"
1118
+ }
1119
+ ]
1120
+ }
1121
+ ]
1122
+ },
1123
+ {
1124
+ "kind": "app",
1125
+ "opcode": "or",
1126
+ "args": [
1127
+ {
1128
+ "kind": "app",
1129
+ "opcode": "neq",
1130
+ "args": [
1131
+ {
1132
+ "kind": "name",
1133
+ "name": "value"
1134
+ },
1135
+ {
1136
+ "kind": "name",
1137
+ "name": "rangeMax"
1138
+ }
1139
+ ]
1140
+ },
1141
+ {
1142
+ "kind": "app",
1143
+ "opcode": "eq",
1144
+ "args": [
1145
+ {
1146
+ "kind": "name",
1147
+ "name": "ariaValueText"
1148
+ },
1149
+ {
1150
+ "kind": "str",
1151
+ "value": "high"
1152
+ }
1153
+ ]
1154
+ }
1155
+ ]
1156
+ }
1157
+ ]
1158
+ }
1159
+ },
1160
+ "OrientationAndDirValid": {
1161
+ "kind": "invariant",
1162
+ "params": [],
1163
+ "body": {
1164
+ "kind": "app",
1165
+ "opcode": "and",
1166
+ "args": [
1167
+ {
1168
+ "kind": "app",
1169
+ "opcode": "ariaOrientationKnown",
1170
+ "args": [
1171
+ {
1172
+ "kind": "name",
1173
+ "name": "ariaOrientation"
1174
+ }
1175
+ ]
1176
+ },
1177
+ {
1178
+ "kind": "app",
1179
+ "opcode": "or",
1180
+ "args": [
1181
+ {
1182
+ "kind": "app",
1183
+ "opcode": "eq",
1184
+ "args": [
1185
+ {
1186
+ "kind": "name",
1187
+ "name": "dir"
1188
+ },
1189
+ {
1190
+ "kind": "str",
1191
+ "value": "ltr"
1192
+ }
1193
+ ]
1194
+ },
1195
+ {
1196
+ "kind": "app",
1197
+ "opcode": "eq",
1198
+ "args": [
1199
+ {
1200
+ "kind": "name",
1201
+ "name": "dir"
1202
+ },
1203
+ {
1204
+ "kind": "str",
1205
+ "value": "rtl"
1206
+ }
1207
+ ]
1208
+ }
1209
+ ]
1210
+ }
1211
+ ]
1212
+ }
1213
+ },
1214
+ "HandledImpliesFocused": {
1215
+ "kind": "invariant",
1216
+ "params": [],
1217
+ "body": {
1218
+ "kind": "app",
1219
+ "opcode": "or",
1220
+ "args": [
1221
+ {
1222
+ "kind": "app",
1223
+ "opcode": "not",
1224
+ "args": [
1225
+ {
1226
+ "kind": "name",
1227
+ "name": "handled"
1228
+ }
1229
+ ]
1230
+ },
1231
+ {
1232
+ "kind": "name",
1233
+ "name": "focused"
1234
+ }
1235
+ ]
1236
+ }
1237
+ },
1238
+ "InTabSequence": {
1239
+ "kind": "invariant",
1240
+ "params": [],
1241
+ "body": {
1242
+ "kind": "app",
1243
+ "opcode": "and",
1244
+ "args": [
1245
+ {
1246
+ "kind": "app",
1247
+ "opcode": "eq",
1248
+ "args": [
1249
+ {
1250
+ "kind": "name",
1251
+ "name": "ariaRole"
1252
+ },
1253
+ {
1254
+ "kind": "str",
1255
+ "value": "slider"
1256
+ }
1257
+ ]
1258
+ },
1259
+ {
1260
+ "kind": "app",
1261
+ "opcode": "eq",
1262
+ "args": [
1263
+ {
1264
+ "kind": "name",
1265
+ "name": "tabIndex"
1266
+ },
1267
+ {
1268
+ "kind": "int",
1269
+ "value": "0"
1270
+ }
1271
+ ]
1272
+ }
1273
+ ]
1274
+ }
1275
+ },
1276
+ "RequestsNonNegative": {
1277
+ "kind": "invariant",
1278
+ "params": [],
1279
+ "body": {
1280
+ "kind": "app",
1281
+ "opcode": "igte",
1282
+ "args": [
1283
+ {
1284
+ "kind": "name",
1285
+ "name": "requests"
1286
+ },
1287
+ {
1288
+ "kind": "int",
1289
+ "value": "0"
1290
+ }
1291
+ ]
1292
+ }
1293
+ },
1294
+ "ControlledFollowsProp": {
1295
+ "kind": "invariant",
1296
+ "params": [],
1297
+ "body": {
1298
+ "kind": "app",
1299
+ "opcode": "or",
1300
+ "args": [
1301
+ {
1302
+ "kind": "app",
1303
+ "opcode": "not",
1304
+ "args": [
1305
+ {
1306
+ "kind": "name",
1307
+ "name": "controlled"
1308
+ }
1309
+ ]
1310
+ },
1311
+ {
1312
+ "kind": "app",
1313
+ "opcode": "eq",
1314
+ "args": [
1315
+ {
1316
+ "kind": "name",
1317
+ "name": "value"
1318
+ },
1319
+ {
1320
+ "kind": "name",
1321
+ "name": "valueProp"
1322
+ }
1323
+ ]
1324
+ }
1325
+ ]
1326
+ }
1327
+ },
1328
+ "RejectedRequestUntouched": {
1329
+ "kind": "invariant",
1330
+ "params": [],
1331
+ "body": {
1332
+ "kind": "app",
1333
+ "opcode": "or",
1334
+ "args": [
1335
+ {
1336
+ "kind": "app",
1337
+ "opcode": "not",
1338
+ "args": [
1339
+ {
1340
+ "kind": "app",
1341
+ "opcode": "eq",
1342
+ "args": [
1343
+ {
1344
+ "kind": "name",
1345
+ "name": "outcome"
1346
+ },
1347
+ {
1348
+ "kind": "str",
1349
+ "value": "rejected"
1350
+ }
1351
+ ]
1352
+ }
1353
+ ]
1354
+ },
1355
+ {
1356
+ "kind": "app",
1357
+ "opcode": "eq",
1358
+ "args": [
1359
+ {
1360
+ "kind": "name",
1361
+ "name": "value"
1362
+ },
1363
+ {
1364
+ "kind": "name",
1365
+ "name": "base"
1366
+ }
1367
+ ]
1368
+ }
1369
+ ]
1370
+ }
1371
+ },
1372
+ "AcceptedRequestCommits": {
1373
+ "kind": "invariant",
1374
+ "params": [],
1375
+ "body": {
1376
+ "kind": "app",
1377
+ "opcode": "or",
1378
+ "args": [
1379
+ {
1380
+ "kind": "app",
1381
+ "opcode": "not",
1382
+ "args": [
1383
+ {
1384
+ "kind": "app",
1385
+ "opcode": "eq",
1386
+ "args": [
1387
+ {
1388
+ "kind": "name",
1389
+ "name": "outcome"
1390
+ },
1391
+ {
1392
+ "kind": "str",
1393
+ "value": "accepted"
1394
+ }
1395
+ ]
1396
+ }
1397
+ ]
1398
+ },
1399
+ {
1400
+ "kind": "app",
1401
+ "opcode": "eq",
1402
+ "args": [
1403
+ {
1404
+ "kind": "name",
1405
+ "name": "value"
1406
+ },
1407
+ {
1408
+ "kind": "name",
1409
+ "name": "requested"
1410
+ }
1411
+ ]
1412
+ }
1413
+ ]
1414
+ }
1415
+ },
1416
+ "ariaCycle0": {
1417
+ "kind": "function",
1418
+ "params": [
1419
+ "n",
1420
+ "cur",
1421
+ "k"
1422
+ ],
1423
+ "body": {
1424
+ "kind": "app",
1425
+ "opcode": "ite",
1426
+ "args": [
1427
+ {
1428
+ "kind": "app",
1429
+ "opcode": "ilt",
1430
+ "args": [
1431
+ {
1432
+ "kind": "name",
1433
+ "name": "n"
1434
+ },
1435
+ {
1436
+ "kind": "int",
1437
+ "value": "1"
1438
+ }
1439
+ ]
1440
+ },
1441
+ {
1442
+ "kind": "name",
1443
+ "name": "cur"
1444
+ },
1445
+ {
1446
+ "kind": "app",
1447
+ "opcode": "imod",
1448
+ "args": [
1449
+ {
1450
+ "kind": "app",
1451
+ "opcode": "iadd",
1452
+ "args": [
1453
+ {
1454
+ "kind": "name",
1455
+ "name": "cur"
1456
+ },
1457
+ {
1458
+ "kind": "name",
1459
+ "name": "k"
1460
+ }
1461
+ ]
1462
+ },
1463
+ {
1464
+ "kind": "name",
1465
+ "name": "n"
1466
+ }
1467
+ ]
1468
+ }
1469
+ ]
1470
+ }
1471
+ },
1472
+ "ariaCycle1": {
1473
+ "kind": "function",
1474
+ "params": [
1475
+ "n",
1476
+ "cur",
1477
+ "k"
1478
+ ],
1479
+ "body": {
1480
+ "kind": "app",
1481
+ "opcode": "ite",
1482
+ "args": [
1483
+ {
1484
+ "kind": "app",
1485
+ "opcode": "ilt",
1486
+ "args": [
1487
+ {
1488
+ "kind": "name",
1489
+ "name": "n"
1490
+ },
1491
+ {
1492
+ "kind": "int",
1493
+ "value": "1"
1494
+ }
1495
+ ]
1496
+ },
1497
+ {
1498
+ "kind": "name",
1499
+ "name": "cur"
1500
+ },
1501
+ {
1502
+ "kind": "app",
1503
+ "opcode": "iadd",
1504
+ "args": [
1505
+ {
1506
+ "kind": "app",
1507
+ "opcode": "imod",
1508
+ "args": [
1509
+ {
1510
+ "kind": "app",
1511
+ "opcode": "isub",
1512
+ "args": [
1513
+ {
1514
+ "kind": "app",
1515
+ "opcode": "iadd",
1516
+ "args": [
1517
+ {
1518
+ "kind": "app",
1519
+ "opcode": "iadd",
1520
+ "args": [
1521
+ {
1522
+ "kind": "name",
1523
+ "name": "cur"
1524
+ },
1525
+ {
1526
+ "kind": "name",
1527
+ "name": "k"
1528
+ }
1529
+ ]
1530
+ },
1531
+ {
1532
+ "kind": "name",
1533
+ "name": "n"
1534
+ }
1535
+ ]
1536
+ },
1537
+ {
1538
+ "kind": "int",
1539
+ "value": "1"
1540
+ }
1541
+ ]
1542
+ },
1543
+ {
1544
+ "kind": "name",
1545
+ "name": "n"
1546
+ }
1547
+ ]
1548
+ },
1549
+ {
1550
+ "kind": "int",
1551
+ "value": "1"
1552
+ }
1553
+ ]
1554
+ }
1555
+ ]
1556
+ }
1557
+ },
1558
+ "ariaWrapNext1": {
1559
+ "kind": "function",
1560
+ "params": [
1561
+ "i",
1562
+ "n"
1563
+ ],
1564
+ "body": {
1565
+ "kind": "app",
1566
+ "opcode": "ite",
1567
+ "args": [
1568
+ {
1569
+ "kind": "app",
1570
+ "opcode": "igte",
1571
+ "args": [
1572
+ {
1573
+ "kind": "name",
1574
+ "name": "i"
1575
+ },
1576
+ {
1577
+ "kind": "name",
1578
+ "name": "n"
1579
+ }
1580
+ ]
1581
+ },
1582
+ {
1583
+ "kind": "int",
1584
+ "value": "1"
1585
+ },
1586
+ {
1587
+ "kind": "app",
1588
+ "opcode": "iadd",
1589
+ "args": [
1590
+ {
1591
+ "kind": "name",
1592
+ "name": "i"
1593
+ },
1594
+ {
1595
+ "kind": "int",
1596
+ "value": "1"
1597
+ }
1598
+ ]
1599
+ }
1600
+ ]
1601
+ }
1602
+ },
1603
+ "ariaWrapPrev1": {
1604
+ "kind": "function",
1605
+ "params": [
1606
+ "i",
1607
+ "n"
1608
+ ],
1609
+ "body": {
1610
+ "kind": "app",
1611
+ "opcode": "ite",
1612
+ "args": [
1613
+ {
1614
+ "kind": "app",
1615
+ "opcode": "ilte",
1616
+ "args": [
1617
+ {
1618
+ "kind": "name",
1619
+ "name": "i"
1620
+ },
1621
+ {
1622
+ "kind": "int",
1623
+ "value": "1"
1624
+ }
1625
+ ]
1626
+ },
1627
+ {
1628
+ "kind": "name",
1629
+ "name": "n"
1630
+ },
1631
+ {
1632
+ "kind": "app",
1633
+ "opcode": "isub",
1634
+ "args": [
1635
+ {
1636
+ "kind": "name",
1637
+ "name": "i"
1638
+ },
1639
+ {
1640
+ "kind": "int",
1641
+ "value": "1"
1642
+ }
1643
+ ]
1644
+ }
1645
+ ]
1646
+ }
1647
+ },
1648
+ "ariaTaStart0": {
1649
+ "kind": "function",
1650
+ "params": [
1651
+ "n",
1652
+ "cur",
1653
+ "fresh"
1654
+ ],
1655
+ "body": {
1656
+ "kind": "app",
1657
+ "opcode": "ite",
1658
+ "args": [
1659
+ {
1660
+ "kind": "name",
1661
+ "name": "fresh"
1662
+ },
1663
+ {
1664
+ "kind": "app",
1665
+ "opcode": "ariaCycle0",
1666
+ "args": [
1667
+ {
1668
+ "kind": "name",
1669
+ "name": "n"
1670
+ },
1671
+ {
1672
+ "kind": "name",
1673
+ "name": "cur"
1674
+ },
1675
+ {
1676
+ "kind": "int",
1677
+ "value": "1"
1678
+ }
1679
+ ]
1680
+ },
1681
+ {
1682
+ "kind": "name",
1683
+ "name": "cur"
1684
+ }
1685
+ ]
1686
+ }
1687
+ },
1688
+ "ariaTaStart1": {
1689
+ "kind": "function",
1690
+ "params": [
1691
+ "n",
1692
+ "cur",
1693
+ "fresh"
1694
+ ],
1695
+ "body": {
1696
+ "kind": "app",
1697
+ "opcode": "ite",
1698
+ "args": [
1699
+ {
1700
+ "kind": "name",
1701
+ "name": "fresh"
1702
+ },
1703
+ {
1704
+ "kind": "app",
1705
+ "opcode": "ariaCycle1",
1706
+ "args": [
1707
+ {
1708
+ "kind": "name",
1709
+ "name": "n"
1710
+ },
1711
+ {
1712
+ "kind": "name",
1713
+ "name": "cur"
1714
+ },
1715
+ {
1716
+ "kind": "int",
1717
+ "value": "1"
1718
+ }
1719
+ ]
1720
+ },
1721
+ {
1722
+ "kind": "name",
1723
+ "name": "cur"
1724
+ }
1725
+ ]
1726
+ }
1727
+ },
1728
+ "ariaTaRepeatStart0": {
1729
+ "kind": "function",
1730
+ "params": [
1731
+ "n",
1732
+ "cur",
1733
+ "typedBefore",
1734
+ "ch"
1735
+ ],
1736
+ "body": {
1737
+ "kind": "app",
1738
+ "opcode": "ite",
1739
+ "args": [
1740
+ {
1741
+ "kind": "app",
1742
+ "opcode": "eq",
1743
+ "args": [
1744
+ {
1745
+ "kind": "name",
1746
+ "name": "typedBefore"
1747
+ },
1748
+ {
1749
+ "kind": "name",
1750
+ "name": "ch"
1751
+ }
1752
+ ]
1753
+ },
1754
+ {
1755
+ "kind": "app",
1756
+ "opcode": "ariaCycle0",
1757
+ "args": [
1758
+ {
1759
+ "kind": "name",
1760
+ "name": "n"
1761
+ },
1762
+ {
1763
+ "kind": "name",
1764
+ "name": "cur"
1765
+ },
1766
+ {
1767
+ "kind": "int",
1768
+ "value": "1"
1769
+ }
1770
+ ]
1771
+ },
1772
+ {
1773
+ "kind": "int",
1774
+ "value": "0"
1775
+ }
1776
+ ]
1777
+ }
1778
+ },
1779
+ "ariaTaFold": {
1780
+ "kind": "function",
1781
+ "params": [
1782
+ "c"
1783
+ ],
1784
+ "body": {
1785
+ "kind": "app",
1786
+ "opcode": "ite",
1787
+ "args": [
1788
+ {
1789
+ "kind": "app",
1790
+ "opcode": "eq",
1791
+ "args": [
1792
+ {
1793
+ "kind": "name",
1794
+ "name": "c"
1795
+ },
1796
+ {
1797
+ "kind": "str",
1798
+ "value": "A"
1799
+ }
1800
+ ]
1801
+ },
1802
+ {
1803
+ "kind": "str",
1804
+ "value": "a"
1805
+ },
1806
+ {
1807
+ "kind": "app",
1808
+ "opcode": "ite",
1809
+ "args": [
1810
+ {
1811
+ "kind": "app",
1812
+ "opcode": "eq",
1813
+ "args": [
1814
+ {
1815
+ "kind": "name",
1816
+ "name": "c"
1817
+ },
1818
+ {
1819
+ "kind": "str",
1820
+ "value": "B"
1821
+ }
1822
+ ]
1823
+ },
1824
+ {
1825
+ "kind": "str",
1826
+ "value": "b"
1827
+ },
1828
+ {
1829
+ "kind": "app",
1830
+ "opcode": "ite",
1831
+ "args": [
1832
+ {
1833
+ "kind": "app",
1834
+ "opcode": "eq",
1835
+ "args": [
1836
+ {
1837
+ "kind": "name",
1838
+ "name": "c"
1839
+ },
1840
+ {
1841
+ "kind": "str",
1842
+ "value": "C"
1843
+ }
1844
+ ]
1845
+ },
1846
+ {
1847
+ "kind": "str",
1848
+ "value": "c"
1849
+ },
1850
+ {
1851
+ "kind": "app",
1852
+ "opcode": "ite",
1853
+ "args": [
1854
+ {
1855
+ "kind": "app",
1856
+ "opcode": "eq",
1857
+ "args": [
1858
+ {
1859
+ "kind": "name",
1860
+ "name": "c"
1861
+ },
1862
+ {
1863
+ "kind": "str",
1864
+ "value": "D"
1865
+ }
1866
+ ]
1867
+ },
1868
+ {
1869
+ "kind": "str",
1870
+ "value": "d"
1871
+ },
1872
+ {
1873
+ "kind": "app",
1874
+ "opcode": "ite",
1875
+ "args": [
1876
+ {
1877
+ "kind": "app",
1878
+ "opcode": "eq",
1879
+ "args": [
1880
+ {
1881
+ "kind": "name",
1882
+ "name": "c"
1883
+ },
1884
+ {
1885
+ "kind": "str",
1886
+ "value": "E"
1887
+ }
1888
+ ]
1889
+ },
1890
+ {
1891
+ "kind": "str",
1892
+ "value": "e"
1893
+ },
1894
+ {
1895
+ "kind": "app",
1896
+ "opcode": "ite",
1897
+ "args": [
1898
+ {
1899
+ "kind": "app",
1900
+ "opcode": "eq",
1901
+ "args": [
1902
+ {
1903
+ "kind": "name",
1904
+ "name": "c"
1905
+ },
1906
+ {
1907
+ "kind": "str",
1908
+ "value": "F"
1909
+ }
1910
+ ]
1911
+ },
1912
+ {
1913
+ "kind": "str",
1914
+ "value": "f"
1915
+ },
1916
+ {
1917
+ "kind": "app",
1918
+ "opcode": "ite",
1919
+ "args": [
1920
+ {
1921
+ "kind": "app",
1922
+ "opcode": "eq",
1923
+ "args": [
1924
+ {
1925
+ "kind": "name",
1926
+ "name": "c"
1927
+ },
1928
+ {
1929
+ "kind": "str",
1930
+ "value": "G"
1931
+ }
1932
+ ]
1933
+ },
1934
+ {
1935
+ "kind": "str",
1936
+ "value": "g"
1937
+ },
1938
+ {
1939
+ "kind": "app",
1940
+ "opcode": "ite",
1941
+ "args": [
1942
+ {
1943
+ "kind": "app",
1944
+ "opcode": "eq",
1945
+ "args": [
1946
+ {
1947
+ "kind": "name",
1948
+ "name": "c"
1949
+ },
1950
+ {
1951
+ "kind": "str",
1952
+ "value": "H"
1953
+ }
1954
+ ]
1955
+ },
1956
+ {
1957
+ "kind": "str",
1958
+ "value": "h"
1959
+ },
1960
+ {
1961
+ "kind": "app",
1962
+ "opcode": "ite",
1963
+ "args": [
1964
+ {
1965
+ "kind": "app",
1966
+ "opcode": "eq",
1967
+ "args": [
1968
+ {
1969
+ "kind": "name",
1970
+ "name": "c"
1971
+ },
1972
+ {
1973
+ "kind": "str",
1974
+ "value": "I"
1975
+ }
1976
+ ]
1977
+ },
1978
+ {
1979
+ "kind": "str",
1980
+ "value": "i"
1981
+ },
1982
+ {
1983
+ "kind": "app",
1984
+ "opcode": "ite",
1985
+ "args": [
1986
+ {
1987
+ "kind": "app",
1988
+ "opcode": "eq",
1989
+ "args": [
1990
+ {
1991
+ "kind": "name",
1992
+ "name": "c"
1993
+ },
1994
+ {
1995
+ "kind": "str",
1996
+ "value": "J"
1997
+ }
1998
+ ]
1999
+ },
2000
+ {
2001
+ "kind": "str",
2002
+ "value": "j"
2003
+ },
2004
+ {
2005
+ "kind": "app",
2006
+ "opcode": "ite",
2007
+ "args": [
2008
+ {
2009
+ "kind": "app",
2010
+ "opcode": "eq",
2011
+ "args": [
2012
+ {
2013
+ "kind": "name",
2014
+ "name": "c"
2015
+ },
2016
+ {
2017
+ "kind": "str",
2018
+ "value": "K"
2019
+ }
2020
+ ]
2021
+ },
2022
+ {
2023
+ "kind": "str",
2024
+ "value": "k"
2025
+ },
2026
+ {
2027
+ "kind": "app",
2028
+ "opcode": "ite",
2029
+ "args": [
2030
+ {
2031
+ "kind": "app",
2032
+ "opcode": "eq",
2033
+ "args": [
2034
+ {
2035
+ "kind": "name",
2036
+ "name": "c"
2037
+ },
2038
+ {
2039
+ "kind": "str",
2040
+ "value": "L"
2041
+ }
2042
+ ]
2043
+ },
2044
+ {
2045
+ "kind": "str",
2046
+ "value": "l"
2047
+ },
2048
+ {
2049
+ "kind": "app",
2050
+ "opcode": "ite",
2051
+ "args": [
2052
+ {
2053
+ "kind": "app",
2054
+ "opcode": "eq",
2055
+ "args": [
2056
+ {
2057
+ "kind": "name",
2058
+ "name": "c"
2059
+ },
2060
+ {
2061
+ "kind": "str",
2062
+ "value": "M"
2063
+ }
2064
+ ]
2065
+ },
2066
+ {
2067
+ "kind": "str",
2068
+ "value": "m"
2069
+ },
2070
+ {
2071
+ "kind": "app",
2072
+ "opcode": "ite",
2073
+ "args": [
2074
+ {
2075
+ "kind": "app",
2076
+ "opcode": "eq",
2077
+ "args": [
2078
+ {
2079
+ "kind": "name",
2080
+ "name": "c"
2081
+ },
2082
+ {
2083
+ "kind": "str",
2084
+ "value": "N"
2085
+ }
2086
+ ]
2087
+ },
2088
+ {
2089
+ "kind": "str",
2090
+ "value": "n"
2091
+ },
2092
+ {
2093
+ "kind": "app",
2094
+ "opcode": "ite",
2095
+ "args": [
2096
+ {
2097
+ "kind": "app",
2098
+ "opcode": "eq",
2099
+ "args": [
2100
+ {
2101
+ "kind": "name",
2102
+ "name": "c"
2103
+ },
2104
+ {
2105
+ "kind": "str",
2106
+ "value": "O"
2107
+ }
2108
+ ]
2109
+ },
2110
+ {
2111
+ "kind": "str",
2112
+ "value": "o"
2113
+ },
2114
+ {
2115
+ "kind": "app",
2116
+ "opcode": "ite",
2117
+ "args": [
2118
+ {
2119
+ "kind": "app",
2120
+ "opcode": "eq",
2121
+ "args": [
2122
+ {
2123
+ "kind": "name",
2124
+ "name": "c"
2125
+ },
2126
+ {
2127
+ "kind": "str",
2128
+ "value": "P"
2129
+ }
2130
+ ]
2131
+ },
2132
+ {
2133
+ "kind": "str",
2134
+ "value": "p"
2135
+ },
2136
+ {
2137
+ "kind": "app",
2138
+ "opcode": "ite",
2139
+ "args": [
2140
+ {
2141
+ "kind": "app",
2142
+ "opcode": "eq",
2143
+ "args": [
2144
+ {
2145
+ "kind": "name",
2146
+ "name": "c"
2147
+ },
2148
+ {
2149
+ "kind": "str",
2150
+ "value": "Q"
2151
+ }
2152
+ ]
2153
+ },
2154
+ {
2155
+ "kind": "str",
2156
+ "value": "q"
2157
+ },
2158
+ {
2159
+ "kind": "app",
2160
+ "opcode": "ite",
2161
+ "args": [
2162
+ {
2163
+ "kind": "app",
2164
+ "opcode": "eq",
2165
+ "args": [
2166
+ {
2167
+ "kind": "name",
2168
+ "name": "c"
2169
+ },
2170
+ {
2171
+ "kind": "str",
2172
+ "value": "R"
2173
+ }
2174
+ ]
2175
+ },
2176
+ {
2177
+ "kind": "str",
2178
+ "value": "r"
2179
+ },
2180
+ {
2181
+ "kind": "app",
2182
+ "opcode": "ite",
2183
+ "args": [
2184
+ {
2185
+ "kind": "app",
2186
+ "opcode": "eq",
2187
+ "args": [
2188
+ {
2189
+ "kind": "name",
2190
+ "name": "c"
2191
+ },
2192
+ {
2193
+ "kind": "str",
2194
+ "value": "S"
2195
+ }
2196
+ ]
2197
+ },
2198
+ {
2199
+ "kind": "str",
2200
+ "value": "s"
2201
+ },
2202
+ {
2203
+ "kind": "app",
2204
+ "opcode": "ite",
2205
+ "args": [
2206
+ {
2207
+ "kind": "app",
2208
+ "opcode": "eq",
2209
+ "args": [
2210
+ {
2211
+ "kind": "name",
2212
+ "name": "c"
2213
+ },
2214
+ {
2215
+ "kind": "str",
2216
+ "value": "T"
2217
+ }
2218
+ ]
2219
+ },
2220
+ {
2221
+ "kind": "str",
2222
+ "value": "t"
2223
+ },
2224
+ {
2225
+ "kind": "app",
2226
+ "opcode": "ite",
2227
+ "args": [
2228
+ {
2229
+ "kind": "app",
2230
+ "opcode": "eq",
2231
+ "args": [
2232
+ {
2233
+ "kind": "name",
2234
+ "name": "c"
2235
+ },
2236
+ {
2237
+ "kind": "str",
2238
+ "value": "U"
2239
+ }
2240
+ ]
2241
+ },
2242
+ {
2243
+ "kind": "str",
2244
+ "value": "u"
2245
+ },
2246
+ {
2247
+ "kind": "app",
2248
+ "opcode": "ite",
2249
+ "args": [
2250
+ {
2251
+ "kind": "app",
2252
+ "opcode": "eq",
2253
+ "args": [
2254
+ {
2255
+ "kind": "name",
2256
+ "name": "c"
2257
+ },
2258
+ {
2259
+ "kind": "str",
2260
+ "value": "V"
2261
+ }
2262
+ ]
2263
+ },
2264
+ {
2265
+ "kind": "str",
2266
+ "value": "v"
2267
+ },
2268
+ {
2269
+ "kind": "app",
2270
+ "opcode": "ite",
2271
+ "args": [
2272
+ {
2273
+ "kind": "app",
2274
+ "opcode": "eq",
2275
+ "args": [
2276
+ {
2277
+ "kind": "name",
2278
+ "name": "c"
2279
+ },
2280
+ {
2281
+ "kind": "str",
2282
+ "value": "W"
2283
+ }
2284
+ ]
2285
+ },
2286
+ {
2287
+ "kind": "str",
2288
+ "value": "w"
2289
+ },
2290
+ {
2291
+ "kind": "app",
2292
+ "opcode": "ite",
2293
+ "args": [
2294
+ {
2295
+ "kind": "app",
2296
+ "opcode": "eq",
2297
+ "args": [
2298
+ {
2299
+ "kind": "name",
2300
+ "name": "c"
2301
+ },
2302
+ {
2303
+ "kind": "str",
2304
+ "value": "X"
2305
+ }
2306
+ ]
2307
+ },
2308
+ {
2309
+ "kind": "str",
2310
+ "value": "x"
2311
+ },
2312
+ {
2313
+ "kind": "app",
2314
+ "opcode": "ite",
2315
+ "args": [
2316
+ {
2317
+ "kind": "app",
2318
+ "opcode": "eq",
2319
+ "args": [
2320
+ {
2321
+ "kind": "name",
2322
+ "name": "c"
2323
+ },
2324
+ {
2325
+ "kind": "str",
2326
+ "value": "Y"
2327
+ }
2328
+ ]
2329
+ },
2330
+ {
2331
+ "kind": "str",
2332
+ "value": "y"
2333
+ },
2334
+ {
2335
+ "kind": "app",
2336
+ "opcode": "ite",
2337
+ "args": [
2338
+ {
2339
+ "kind": "app",
2340
+ "opcode": "eq",
2341
+ "args": [
2342
+ {
2343
+ "kind": "name",
2344
+ "name": "c"
2345
+ },
2346
+ {
2347
+ "kind": "str",
2348
+ "value": "Z"
2349
+ }
2350
+ ]
2351
+ },
2352
+ {
2353
+ "kind": "str",
2354
+ "value": "z"
2355
+ },
2356
+ {
2357
+ "kind": "name",
2358
+ "name": "c"
2359
+ }
2360
+ ]
2361
+ }
2362
+ ]
2363
+ }
2364
+ ]
2365
+ }
2366
+ ]
2367
+ }
2368
+ ]
2369
+ }
2370
+ ]
2371
+ }
2372
+ ]
2373
+ }
2374
+ ]
2375
+ }
2376
+ ]
2377
+ }
2378
+ ]
2379
+ }
2380
+ ]
2381
+ }
2382
+ ]
2383
+ }
2384
+ ]
2385
+ }
2386
+ ]
2387
+ }
2388
+ ]
2389
+ }
2390
+ ]
2391
+ }
2392
+ ]
2393
+ }
2394
+ ]
2395
+ }
2396
+ ]
2397
+ }
2398
+ ]
2399
+ }
2400
+ ]
2401
+ }
2402
+ ]
2403
+ }
2404
+ ]
2405
+ }
2406
+ ]
2407
+ }
2408
+ ]
2409
+ }
2410
+ ]
2411
+ }
2412
+ },
2413
+ "ariaTaSameChar": {
2414
+ "kind": "function",
2415
+ "params": [
2416
+ "a",
2417
+ "b"
2418
+ ],
2419
+ "body": {
2420
+ "kind": "app",
2421
+ "opcode": "eq",
2422
+ "args": [
2423
+ {
2424
+ "kind": "app",
2425
+ "opcode": "ariaTaFold",
2426
+ "args": [
2427
+ {
2428
+ "kind": "name",
2429
+ "name": "a"
2430
+ }
2431
+ ]
2432
+ },
2433
+ {
2434
+ "kind": "app",
2435
+ "opcode": "ariaTaFold",
2436
+ "args": [
2437
+ {
2438
+ "kind": "name",
2439
+ "name": "b"
2440
+ }
2441
+ ]
2442
+ }
2443
+ ]
2444
+ }
2445
+ },
2446
+ "ariaOrientationKnown": {
2447
+ "kind": "function",
2448
+ "params": [
2449
+ "o"
2450
+ ],
2451
+ "body": {
2452
+ "kind": "app",
2453
+ "opcode": "or",
2454
+ "args": [
2455
+ {
2456
+ "kind": "app",
2457
+ "opcode": "eq",
2458
+ "args": [
2459
+ {
2460
+ "kind": "name",
2461
+ "name": "o"
2462
+ },
2463
+ {
2464
+ "kind": "str",
2465
+ "value": "horizontal"
2466
+ }
2467
+ ]
2468
+ },
2469
+ {
2470
+ "kind": "app",
2471
+ "opcode": "eq",
2472
+ "args": [
2473
+ {
2474
+ "kind": "name",
2475
+ "name": "o"
2476
+ },
2477
+ {
2478
+ "kind": "str",
2479
+ "value": "vertical"
2480
+ }
2481
+ ]
2482
+ }
2483
+ ]
2484
+ }
2485
+ },
2486
+ "ariaAxisForward": {
2487
+ "kind": "function",
2488
+ "params": [
2489
+ "o",
2490
+ "key"
2491
+ ],
2492
+ "body": {
2493
+ "kind": "app",
2494
+ "opcode": "or",
2495
+ "args": [
2496
+ {
2497
+ "kind": "app",
2498
+ "opcode": "and",
2499
+ "args": [
2500
+ {
2501
+ "kind": "app",
2502
+ "opcode": "eq",
2503
+ "args": [
2504
+ {
2505
+ "kind": "name",
2506
+ "name": "o"
2507
+ },
2508
+ {
2509
+ "kind": "str",
2510
+ "value": "horizontal"
2511
+ }
2512
+ ]
2513
+ },
2514
+ {
2515
+ "kind": "app",
2516
+ "opcode": "eq",
2517
+ "args": [
2518
+ {
2519
+ "kind": "name",
2520
+ "name": "key"
2521
+ },
2522
+ {
2523
+ "kind": "str",
2524
+ "value": "ArrowRight"
2525
+ }
2526
+ ]
2527
+ }
2528
+ ]
2529
+ },
2530
+ {
2531
+ "kind": "app",
2532
+ "opcode": "and",
2533
+ "args": [
2534
+ {
2535
+ "kind": "app",
2536
+ "opcode": "eq",
2537
+ "args": [
2538
+ {
2539
+ "kind": "name",
2540
+ "name": "o"
2541
+ },
2542
+ {
2543
+ "kind": "str",
2544
+ "value": "vertical"
2545
+ }
2546
+ ]
2547
+ },
2548
+ {
2549
+ "kind": "app",
2550
+ "opcode": "eq",
2551
+ "args": [
2552
+ {
2553
+ "kind": "name",
2554
+ "name": "key"
2555
+ },
2556
+ {
2557
+ "kind": "str",
2558
+ "value": "ArrowDown"
2559
+ }
2560
+ ]
2561
+ }
2562
+ ]
2563
+ }
2564
+ ]
2565
+ }
2566
+ },
2567
+ "ariaAxisBackward": {
2568
+ "kind": "function",
2569
+ "params": [
2570
+ "o",
2571
+ "key"
2572
+ ],
2573
+ "body": {
2574
+ "kind": "app",
2575
+ "opcode": "or",
2576
+ "args": [
2577
+ {
2578
+ "kind": "app",
2579
+ "opcode": "and",
2580
+ "args": [
2581
+ {
2582
+ "kind": "app",
2583
+ "opcode": "eq",
2584
+ "args": [
2585
+ {
2586
+ "kind": "name",
2587
+ "name": "o"
2588
+ },
2589
+ {
2590
+ "kind": "str",
2591
+ "value": "horizontal"
2592
+ }
2593
+ ]
2594
+ },
2595
+ {
2596
+ "kind": "app",
2597
+ "opcode": "eq",
2598
+ "args": [
2599
+ {
2600
+ "kind": "name",
2601
+ "name": "key"
2602
+ },
2603
+ {
2604
+ "kind": "str",
2605
+ "value": "ArrowLeft"
2606
+ }
2607
+ ]
2608
+ }
2609
+ ]
2610
+ },
2611
+ {
2612
+ "kind": "app",
2613
+ "opcode": "and",
2614
+ "args": [
2615
+ {
2616
+ "kind": "app",
2617
+ "opcode": "eq",
2618
+ "args": [
2619
+ {
2620
+ "kind": "name",
2621
+ "name": "o"
2622
+ },
2623
+ {
2624
+ "kind": "str",
2625
+ "value": "vertical"
2626
+ }
2627
+ ]
2628
+ },
2629
+ {
2630
+ "kind": "app",
2631
+ "opcode": "eq",
2632
+ "args": [
2633
+ {
2634
+ "kind": "name",
2635
+ "name": "key"
2636
+ },
2637
+ {
2638
+ "kind": "str",
2639
+ "value": "ArrowUp"
2640
+ }
2641
+ ]
2642
+ }
2643
+ ]
2644
+ }
2645
+ ]
2646
+ }
2647
+ },
2648
+ "ariaFlipped": {
2649
+ "kind": "function",
2650
+ "params": [
2651
+ "o",
2652
+ "d"
2653
+ ],
2654
+ "body": {
2655
+ "kind": "app",
2656
+ "opcode": "and",
2657
+ "args": [
2658
+ {
2659
+ "kind": "app",
2660
+ "opcode": "eq",
2661
+ "args": [
2662
+ {
2663
+ "kind": "name",
2664
+ "name": "o"
2665
+ },
2666
+ {
2667
+ "kind": "str",
2668
+ "value": "horizontal"
2669
+ }
2670
+ ]
2671
+ },
2672
+ {
2673
+ "kind": "app",
2674
+ "opcode": "eq",
2675
+ "args": [
2676
+ {
2677
+ "kind": "name",
2678
+ "name": "d"
2679
+ },
2680
+ {
2681
+ "kind": "str",
2682
+ "value": "rtl"
2683
+ }
2684
+ ]
2685
+ }
2686
+ ]
2687
+ }
2688
+ },
2689
+ "ariaValueArrow": {
2690
+ "kind": "function",
2691
+ "params": [
2692
+ "key",
2693
+ "o",
2694
+ "d"
2695
+ ],
2696
+ "body": {
2697
+ "kind": "app",
2698
+ "opcode": "ite",
2699
+ "args": [
2700
+ {
2701
+ "kind": "app",
2702
+ "opcode": "eq",
2703
+ "args": [
2704
+ {
2705
+ "kind": "name",
2706
+ "name": "key"
2707
+ },
2708
+ {
2709
+ "kind": "str",
2710
+ "value": "ArrowUp"
2711
+ }
2712
+ ]
2713
+ },
2714
+ {
2715
+ "kind": "int",
2716
+ "value": "1"
2717
+ },
2718
+ {
2719
+ "kind": "app",
2720
+ "opcode": "ite",
2721
+ "args": [
2722
+ {
2723
+ "kind": "app",
2724
+ "opcode": "eq",
2725
+ "args": [
2726
+ {
2727
+ "kind": "name",
2728
+ "name": "key"
2729
+ },
2730
+ {
2731
+ "kind": "str",
2732
+ "value": "ArrowDown"
2733
+ }
2734
+ ]
2735
+ },
2736
+ {
2737
+ "kind": "app",
2738
+ "opcode": "iuminus",
2739
+ "args": [
2740
+ {
2741
+ "kind": "int",
2742
+ "value": "1"
2743
+ }
2744
+ ]
2745
+ },
2746
+ {
2747
+ "kind": "app",
2748
+ "opcode": "ite",
2749
+ "args": [
2750
+ {
2751
+ "kind": "app",
2752
+ "opcode": "eq",
2753
+ "args": [
2754
+ {
2755
+ "kind": "name",
2756
+ "name": "key"
2757
+ },
2758
+ {
2759
+ "kind": "str",
2760
+ "value": "ArrowRight"
2761
+ }
2762
+ ]
2763
+ },
2764
+ {
2765
+ "kind": "app",
2766
+ "opcode": "ite",
2767
+ "args": [
2768
+ {
2769
+ "kind": "app",
2770
+ "opcode": "ariaFlipped",
2771
+ "args": [
2772
+ {
2773
+ "kind": "name",
2774
+ "name": "o"
2775
+ },
2776
+ {
2777
+ "kind": "name",
2778
+ "name": "d"
2779
+ }
2780
+ ]
2781
+ },
2782
+ {
2783
+ "kind": "app",
2784
+ "opcode": "iuminus",
2785
+ "args": [
2786
+ {
2787
+ "kind": "int",
2788
+ "value": "1"
2789
+ }
2790
+ ]
2791
+ },
2792
+ {
2793
+ "kind": "int",
2794
+ "value": "1"
2795
+ }
2796
+ ]
2797
+ },
2798
+ {
2799
+ "kind": "app",
2800
+ "opcode": "ite",
2801
+ "args": [
2802
+ {
2803
+ "kind": "app",
2804
+ "opcode": "eq",
2805
+ "args": [
2806
+ {
2807
+ "kind": "name",
2808
+ "name": "key"
2809
+ },
2810
+ {
2811
+ "kind": "str",
2812
+ "value": "ArrowLeft"
2813
+ }
2814
+ ]
2815
+ },
2816
+ {
2817
+ "kind": "app",
2818
+ "opcode": "ite",
2819
+ "args": [
2820
+ {
2821
+ "kind": "app",
2822
+ "opcode": "ariaFlipped",
2823
+ "args": [
2824
+ {
2825
+ "kind": "name",
2826
+ "name": "o"
2827
+ },
2828
+ {
2829
+ "kind": "name",
2830
+ "name": "d"
2831
+ }
2832
+ ]
2833
+ },
2834
+ {
2835
+ "kind": "int",
2836
+ "value": "1"
2837
+ },
2838
+ {
2839
+ "kind": "app",
2840
+ "opcode": "iuminus",
2841
+ "args": [
2842
+ {
2843
+ "kind": "int",
2844
+ "value": "1"
2845
+ }
2846
+ ]
2847
+ }
2848
+ ]
2849
+ },
2850
+ {
2851
+ "kind": "int",
2852
+ "value": "0"
2853
+ }
2854
+ ]
2855
+ }
2856
+ ]
2857
+ }
2858
+ ]
2859
+ }
2860
+ ]
2861
+ }
2862
+ },
2863
+ "ariaSelModeKnown": {
2864
+ "kind": "function",
2865
+ "params": [
2866
+ "m"
2867
+ ],
2868
+ "body": {
2869
+ "kind": "app",
2870
+ "opcode": "or",
2871
+ "args": [
2872
+ {
2873
+ "kind": "app",
2874
+ "opcode": "eq",
2875
+ "args": [
2876
+ {
2877
+ "kind": "name",
2878
+ "name": "m"
2879
+ },
2880
+ {
2881
+ "kind": "str",
2882
+ "value": "single"
2883
+ }
2884
+ ]
2885
+ },
2886
+ {
2887
+ "kind": "app",
2888
+ "opcode": "eq",
2889
+ "args": [
2890
+ {
2891
+ "kind": "name",
2892
+ "name": "m"
2893
+ },
2894
+ {
2895
+ "kind": "str",
2896
+ "value": "multi"
2897
+ }
2898
+ ]
2899
+ }
2900
+ ]
2901
+ }
2902
+ },
2903
+ "ariaSelIsMulti": {
2904
+ "kind": "function",
2905
+ "params": [
2906
+ "m"
2907
+ ],
2908
+ "body": {
2909
+ "kind": "app",
2910
+ "opcode": "eq",
2911
+ "args": [
2912
+ {
2913
+ "kind": "name",
2914
+ "name": "m"
2915
+ },
2916
+ {
2917
+ "kind": "str",
2918
+ "value": "multi"
2919
+ }
2920
+ ]
2921
+ }
2922
+ },
2923
+ "ariaSingleHoldsAtMostOne": {
2924
+ "kind": "function",
2925
+ "params": [
2926
+ "controlled",
2927
+ "multi",
2928
+ "cnt"
2929
+ ],
2930
+ "body": {
2931
+ "kind": "app",
2932
+ "opcode": "or",
2933
+ "args": [
2934
+ {
2935
+ "kind": "name",
2936
+ "name": "controlled"
2937
+ },
2938
+ {
2939
+ "kind": "name",
2940
+ "name": "multi"
2941
+ },
2942
+ {
2943
+ "kind": "app",
2944
+ "opcode": "ilte",
2945
+ "args": [
2946
+ {
2947
+ "kind": "name",
2948
+ "name": "cnt"
2949
+ },
2950
+ {
2951
+ "kind": "int",
2952
+ "value": "1"
2953
+ }
2954
+ ]
2955
+ }
2956
+ ]
2957
+ }
2958
+ },
2959
+ "ariaBoolToken": {
2960
+ "kind": "function",
2961
+ "params": [
2962
+ "b"
2963
+ ],
2964
+ "body": {
2965
+ "kind": "app",
2966
+ "opcode": "ite",
2967
+ "args": [
2968
+ {
2969
+ "kind": "name",
2970
+ "name": "b"
2971
+ },
2972
+ {
2973
+ "kind": "str",
2974
+ "value": "true"
2975
+ },
2976
+ {
2977
+ "kind": "str",
2978
+ "value": "false"
2979
+ }
2980
+ ]
2981
+ }
2982
+ }
2983
+ },
2984
+ "actions": [
2985
+ {
2986
+ "name": "init",
2987
+ "assignments": [
2988
+ {
2989
+ "field": "flavor",
2990
+ "rhs": {
2991
+ "kind": "int",
2992
+ "value": "0"
2993
+ }
2994
+ },
2995
+ {
2996
+ "field": "value",
2997
+ "rhs": {
2998
+ "kind": "int",
2999
+ "value": "5"
3000
+ }
3001
+ },
3002
+ {
3003
+ "field": "focused",
3004
+ "rhs": {
3005
+ "kind": "bool",
3006
+ "value": false
3007
+ }
3008
+ },
3009
+ {
3010
+ "field": "orientation",
3011
+ "rhs": {
3012
+ "kind": "str",
3013
+ "value": "horizontal"
3014
+ }
3015
+ },
3016
+ {
3017
+ "field": "dir",
3018
+ "rhs": {
3019
+ "kind": "str",
3020
+ "value": "ltr"
3021
+ }
3022
+ },
3023
+ {
3024
+ "field": "handled",
3025
+ "rhs": {
3026
+ "kind": "bool",
3027
+ "value": false
3028
+ }
3029
+ },
3030
+ {
3031
+ "field": "controlled",
3032
+ "rhs": {
3033
+ "kind": "bool",
3034
+ "value": false
3035
+ }
3036
+ },
3037
+ {
3038
+ "field": "accepting",
3039
+ "rhs": {
3040
+ "kind": "bool",
3041
+ "value": false
3042
+ }
3043
+ },
3044
+ {
3045
+ "field": "valueProp",
3046
+ "rhs": {
3047
+ "kind": "int",
3048
+ "value": "5"
3049
+ }
3050
+ },
3051
+ {
3052
+ "field": "requested",
3053
+ "rhs": {
3054
+ "kind": "int",
3055
+ "value": "5"
3056
+ }
3057
+ },
3058
+ {
3059
+ "field": "outcome",
3060
+ "rhs": {
3061
+ "kind": "str",
3062
+ "value": "none"
3063
+ }
3064
+ },
3065
+ {
3066
+ "field": "base",
3067
+ "rhs": {
3068
+ "kind": "int",
3069
+ "value": "5"
3070
+ }
3071
+ },
3072
+ {
3073
+ "field": "requests",
3074
+ "rhs": {
3075
+ "kind": "int",
3076
+ "value": "0"
3077
+ }
3078
+ }
3079
+ ]
3080
+ },
3081
+ {
3082
+ "name": "focus",
3083
+ "assignments": [
3084
+ {
3085
+ "field": "flavor",
3086
+ "rhs": {
3087
+ "kind": "name",
3088
+ "name": "flavor"
3089
+ }
3090
+ },
3091
+ {
3092
+ "field": "value",
3093
+ "rhs": {
3094
+ "kind": "name",
3095
+ "name": "value"
3096
+ }
3097
+ },
3098
+ {
3099
+ "field": "focused",
3100
+ "rhs": {
3101
+ "kind": "bool",
3102
+ "value": true
3103
+ }
3104
+ },
3105
+ {
3106
+ "field": "orientation",
3107
+ "rhs": {
3108
+ "kind": "name",
3109
+ "name": "orientation"
3110
+ }
3111
+ },
3112
+ {
3113
+ "field": "dir",
3114
+ "rhs": {
3115
+ "kind": "name",
3116
+ "name": "dir"
3117
+ }
3118
+ },
3119
+ {
3120
+ "field": "handled",
3121
+ "rhs": {
3122
+ "kind": "bool",
3123
+ "value": false
3124
+ }
3125
+ },
3126
+ {
3127
+ "field": "controlled",
3128
+ "rhs": {
3129
+ "kind": "name",
3130
+ "name": "controlled"
3131
+ }
3132
+ },
3133
+ {
3134
+ "field": "accepting",
3135
+ "rhs": {
3136
+ "kind": "name",
3137
+ "name": "accepting"
3138
+ }
3139
+ },
3140
+ {
3141
+ "field": "valueProp",
3142
+ "rhs": {
3143
+ "kind": "name",
3144
+ "name": "valueProp"
3145
+ }
3146
+ },
3147
+ {
3148
+ "field": "requested",
3149
+ "rhs": {
3150
+ "kind": "name",
3151
+ "name": "requested"
3152
+ }
3153
+ },
3154
+ {
3155
+ "field": "outcome",
3156
+ "rhs": {
3157
+ "kind": "name",
3158
+ "name": "outcome"
3159
+ }
3160
+ },
3161
+ {
3162
+ "field": "base",
3163
+ "rhs": {
3164
+ "kind": "name",
3165
+ "name": "base"
3166
+ }
3167
+ },
3168
+ {
3169
+ "field": "requests",
3170
+ "rhs": {
3171
+ "kind": "name",
3172
+ "name": "requests"
3173
+ }
3174
+ }
3175
+ ]
3176
+ },
3177
+ {
3178
+ "name": "blur",
3179
+ "assignments": [
3180
+ {
3181
+ "field": "flavor",
3182
+ "rhs": {
3183
+ "kind": "name",
3184
+ "name": "flavor"
3185
+ }
3186
+ },
3187
+ {
3188
+ "field": "value",
3189
+ "rhs": {
3190
+ "kind": "name",
3191
+ "name": "value"
3192
+ }
3193
+ },
3194
+ {
3195
+ "field": "focused",
3196
+ "rhs": {
3197
+ "kind": "bool",
3198
+ "value": false
3199
+ }
3200
+ },
3201
+ {
3202
+ "field": "orientation",
3203
+ "rhs": {
3204
+ "kind": "name",
3205
+ "name": "orientation"
3206
+ }
3207
+ },
3208
+ {
3209
+ "field": "dir",
3210
+ "rhs": {
3211
+ "kind": "name",
3212
+ "name": "dir"
3213
+ }
3214
+ },
3215
+ {
3216
+ "field": "handled",
3217
+ "rhs": {
3218
+ "kind": "bool",
3219
+ "value": false
3220
+ }
3221
+ },
3222
+ {
3223
+ "field": "controlled",
3224
+ "rhs": {
3225
+ "kind": "name",
3226
+ "name": "controlled"
3227
+ }
3228
+ },
3229
+ {
3230
+ "field": "accepting",
3231
+ "rhs": {
3232
+ "kind": "name",
3233
+ "name": "accepting"
3234
+ }
3235
+ },
3236
+ {
3237
+ "field": "valueProp",
3238
+ "rhs": {
3239
+ "kind": "name",
3240
+ "name": "valueProp"
3241
+ }
3242
+ },
3243
+ {
3244
+ "field": "requested",
3245
+ "rhs": {
3246
+ "kind": "name",
3247
+ "name": "requested"
3248
+ }
3249
+ },
3250
+ {
3251
+ "field": "outcome",
3252
+ "rhs": {
3253
+ "kind": "name",
3254
+ "name": "outcome"
3255
+ }
3256
+ },
3257
+ {
3258
+ "field": "base",
3259
+ "rhs": {
3260
+ "kind": "name",
3261
+ "name": "base"
3262
+ }
3263
+ },
3264
+ {
3265
+ "field": "requests",
3266
+ "rhs": {
3267
+ "kind": "name",
3268
+ "name": "requests"
3269
+ }
3270
+ }
3271
+ ]
3272
+ },
3273
+ {
3274
+ "name": "keydown",
3275
+ "nondet": {
3276
+ "name": "key",
3277
+ "kind": "str",
3278
+ "pool": [
3279
+ "ArrowRight",
3280
+ "ArrowLeft",
3281
+ "ArrowUp",
3282
+ "ArrowDown",
3283
+ "Home",
3284
+ "End",
3285
+ "PageUp",
3286
+ "PageDown",
3287
+ "Enter"
3288
+ ]
3289
+ },
3290
+ "assignments": [
3291
+ {
3292
+ "field": "flavor",
3293
+ "rhs": {
3294
+ "kind": "name",
3295
+ "name": "flavor"
3296
+ }
3297
+ },
3298
+ {
3299
+ "field": "value",
3300
+ "rhs": {
3301
+ "kind": "app",
3302
+ "opcode": "ite",
3303
+ "args": [
3304
+ {
3305
+ "kind": "app",
3306
+ "opcode": "and",
3307
+ "args": [
3308
+ {
3309
+ "kind": "name",
3310
+ "name": "focused"
3311
+ },
3312
+ {
3313
+ "kind": "app",
3314
+ "opcode": "isHandledKey",
3315
+ "args": [
3316
+ {
3317
+ "kind": "name",
3318
+ "name": "key"
3319
+ }
3320
+ ]
3321
+ }
3322
+ ]
3323
+ },
3324
+ {
3325
+ "kind": "app",
3326
+ "opcode": "landed",
3327
+ "args": [
3328
+ {
3329
+ "kind": "name",
3330
+ "name": "holds"
3331
+ },
3332
+ {
3333
+ "kind": "name",
3334
+ "name": "value"
3335
+ },
3336
+ {
3337
+ "kind": "app",
3338
+ "opcode": "nextValue",
3339
+ "args": [
3340
+ {
3341
+ "kind": "name",
3342
+ "name": "value"
3343
+ },
3344
+ {
3345
+ "kind": "name",
3346
+ "name": "key"
3347
+ },
3348
+ {
3349
+ "kind": "name",
3350
+ "name": "orientation"
3351
+ },
3352
+ {
3353
+ "kind": "name",
3354
+ "name": "dir"
3355
+ }
3356
+ ]
3357
+ }
3358
+ ]
3359
+ },
3360
+ {
3361
+ "kind": "name",
3362
+ "name": "value"
3363
+ }
3364
+ ]
3365
+ }
3366
+ },
3367
+ {
3368
+ "field": "focused",
3369
+ "rhs": {
3370
+ "kind": "name",
3371
+ "name": "focused"
3372
+ }
3373
+ },
3374
+ {
3375
+ "field": "orientation",
3376
+ "rhs": {
3377
+ "kind": "name",
3378
+ "name": "orientation"
3379
+ }
3380
+ },
3381
+ {
3382
+ "field": "dir",
3383
+ "rhs": {
3384
+ "kind": "name",
3385
+ "name": "dir"
3386
+ }
3387
+ },
3388
+ {
3389
+ "field": "handled",
3390
+ "rhs": {
3391
+ "kind": "app",
3392
+ "opcode": "and",
3393
+ "args": [
3394
+ {
3395
+ "kind": "name",
3396
+ "name": "focused"
3397
+ },
3398
+ {
3399
+ "kind": "app",
3400
+ "opcode": "isHandledKey",
3401
+ "args": [
3402
+ {
3403
+ "kind": "name",
3404
+ "name": "key"
3405
+ }
3406
+ ]
3407
+ }
3408
+ ]
3409
+ }
3410
+ },
3411
+ {
3412
+ "field": "controlled",
3413
+ "rhs": {
3414
+ "kind": "name",
3415
+ "name": "controlled"
3416
+ }
3417
+ },
3418
+ {
3419
+ "field": "accepting",
3420
+ "rhs": {
3421
+ "kind": "name",
3422
+ "name": "accepting"
3423
+ }
3424
+ },
3425
+ {
3426
+ "field": "valueProp",
3427
+ "rhs": {
3428
+ "kind": "app",
3429
+ "opcode": "ite",
3430
+ "args": [
3431
+ {
3432
+ "kind": "app",
3433
+ "opcode": "willRequest",
3434
+ "args": [
3435
+ {
3436
+ "kind": "name",
3437
+ "name": "focused"
3438
+ },
3439
+ {
3440
+ "kind": "name",
3441
+ "name": "key"
3442
+ },
3443
+ {
3444
+ "kind": "name",
3445
+ "name": "value"
3446
+ },
3447
+ {
3448
+ "kind": "name",
3449
+ "name": "orientation"
3450
+ },
3451
+ {
3452
+ "kind": "name",
3453
+ "name": "dir"
3454
+ }
3455
+ ]
3456
+ },
3457
+ {
3458
+ "kind": "app",
3459
+ "opcode": "propAfter",
3460
+ "args": [
3461
+ {
3462
+ "kind": "name",
3463
+ "name": "follows"
3464
+ },
3465
+ {
3466
+ "kind": "name",
3467
+ "name": "valueProp"
3468
+ },
3469
+ {
3470
+ "kind": "app",
3471
+ "opcode": "nextValue",
3472
+ "args": [
3473
+ {
3474
+ "kind": "name",
3475
+ "name": "value"
3476
+ },
3477
+ {
3478
+ "kind": "name",
3479
+ "name": "key"
3480
+ },
3481
+ {
3482
+ "kind": "name",
3483
+ "name": "orientation"
3484
+ },
3485
+ {
3486
+ "kind": "name",
3487
+ "name": "dir"
3488
+ }
3489
+ ]
3490
+ }
3491
+ ]
3492
+ },
3493
+ {
3494
+ "kind": "name",
3495
+ "name": "valueProp"
3496
+ }
3497
+ ]
3498
+ }
3499
+ },
3500
+ {
3501
+ "field": "requested",
3502
+ "rhs": {
3503
+ "kind": "app",
3504
+ "opcode": "ite",
3505
+ "args": [
3506
+ {
3507
+ "kind": "app",
3508
+ "opcode": "willRequest",
3509
+ "args": [
3510
+ {
3511
+ "kind": "name",
3512
+ "name": "focused"
3513
+ },
3514
+ {
3515
+ "kind": "name",
3516
+ "name": "key"
3517
+ },
3518
+ {
3519
+ "kind": "name",
3520
+ "name": "value"
3521
+ },
3522
+ {
3523
+ "kind": "name",
3524
+ "name": "orientation"
3525
+ },
3526
+ {
3527
+ "kind": "name",
3528
+ "name": "dir"
3529
+ }
3530
+ ]
3531
+ },
3532
+ {
3533
+ "kind": "app",
3534
+ "opcode": "nextValue",
3535
+ "args": [
3536
+ {
3537
+ "kind": "name",
3538
+ "name": "value"
3539
+ },
3540
+ {
3541
+ "kind": "name",
3542
+ "name": "key"
3543
+ },
3544
+ {
3545
+ "kind": "name",
3546
+ "name": "orientation"
3547
+ },
3548
+ {
3549
+ "kind": "name",
3550
+ "name": "dir"
3551
+ }
3552
+ ]
3553
+ },
3554
+ {
3555
+ "kind": "name",
3556
+ "name": "requested"
3557
+ }
3558
+ ]
3559
+ }
3560
+ },
3561
+ {
3562
+ "field": "outcome",
3563
+ "rhs": {
3564
+ "kind": "app",
3565
+ "opcode": "ite",
3566
+ "args": [
3567
+ {
3568
+ "kind": "app",
3569
+ "opcode": "willRequest",
3570
+ "args": [
3571
+ {
3572
+ "kind": "name",
3573
+ "name": "focused"
3574
+ },
3575
+ {
3576
+ "kind": "name",
3577
+ "name": "key"
3578
+ },
3579
+ {
3580
+ "kind": "name",
3581
+ "name": "value"
3582
+ },
3583
+ {
3584
+ "kind": "name",
3585
+ "name": "orientation"
3586
+ },
3587
+ {
3588
+ "kind": "name",
3589
+ "name": "dir"
3590
+ }
3591
+ ]
3592
+ },
3593
+ {
3594
+ "kind": "name",
3595
+ "name": "verdict"
3596
+ },
3597
+ {
3598
+ "kind": "name",
3599
+ "name": "outcome"
3600
+ }
3601
+ ]
3602
+ }
3603
+ },
3604
+ {
3605
+ "field": "base",
3606
+ "rhs": {
3607
+ "kind": "app",
3608
+ "opcode": "ite",
3609
+ "args": [
3610
+ {
3611
+ "kind": "app",
3612
+ "opcode": "willRequest",
3613
+ "args": [
3614
+ {
3615
+ "kind": "name",
3616
+ "name": "focused"
3617
+ },
3618
+ {
3619
+ "kind": "name",
3620
+ "name": "key"
3621
+ },
3622
+ {
3623
+ "kind": "name",
3624
+ "name": "value"
3625
+ },
3626
+ {
3627
+ "kind": "name",
3628
+ "name": "orientation"
3629
+ },
3630
+ {
3631
+ "kind": "name",
3632
+ "name": "dir"
3633
+ }
3634
+ ]
3635
+ },
3636
+ {
3637
+ "kind": "name",
3638
+ "name": "value"
3639
+ },
3640
+ {
3641
+ "kind": "name",
3642
+ "name": "base"
3643
+ }
3644
+ ]
3645
+ }
3646
+ },
3647
+ {
3648
+ "field": "requests",
3649
+ "rhs": {
3650
+ "kind": "app",
3651
+ "opcode": "ite",
3652
+ "args": [
3653
+ {
3654
+ "kind": "app",
3655
+ "opcode": "willRequest",
3656
+ "args": [
3657
+ {
3658
+ "kind": "name",
3659
+ "name": "focused"
3660
+ },
3661
+ {
3662
+ "kind": "name",
3663
+ "name": "key"
3664
+ },
3665
+ {
3666
+ "kind": "name",
3667
+ "name": "value"
3668
+ },
3669
+ {
3670
+ "kind": "name",
3671
+ "name": "orientation"
3672
+ },
3673
+ {
3674
+ "kind": "name",
3675
+ "name": "dir"
3676
+ }
3677
+ ]
3678
+ },
3679
+ {
3680
+ "kind": "app",
3681
+ "opcode": "iadd",
3682
+ "args": [
3683
+ {
3684
+ "kind": "name",
3685
+ "name": "requests"
3686
+ },
3687
+ {
3688
+ "kind": "int",
3689
+ "value": "1"
3690
+ }
3691
+ ]
3692
+ },
3693
+ {
3694
+ "kind": "name",
3695
+ "name": "requests"
3696
+ }
3697
+ ]
3698
+ }
3699
+ }
3700
+ ]
3701
+ },
3702
+ {
3703
+ "name": "pointer",
3704
+ "nondet": {
3705
+ "name": "raw",
3706
+ "kind": "int",
3707
+ "pool": [
3708
+ "-3",
3709
+ "0",
3710
+ "4",
3711
+ "7",
3712
+ "10",
3713
+ "14"
3714
+ ]
3715
+ },
3716
+ "assignments": [
3717
+ {
3718
+ "field": "flavor",
3719
+ "rhs": {
3720
+ "kind": "name",
3721
+ "name": "flavor"
3722
+ }
3723
+ },
3724
+ {
3725
+ "field": "value",
3726
+ "rhs": {
3727
+ "kind": "app",
3728
+ "opcode": "landed",
3729
+ "args": [
3730
+ {
3731
+ "kind": "name",
3732
+ "name": "holds"
3733
+ },
3734
+ {
3735
+ "kind": "name",
3736
+ "name": "value"
3737
+ },
3738
+ {
3739
+ "kind": "app",
3740
+ "opcode": "pointerValue",
3741
+ "args": [
3742
+ {
3743
+ "kind": "name",
3744
+ "name": "raw"
3745
+ }
3746
+ ]
3747
+ }
3748
+ ]
3749
+ }
3750
+ },
3751
+ {
3752
+ "field": "focused",
3753
+ "rhs": {
3754
+ "kind": "bool",
3755
+ "value": true
3756
+ }
3757
+ },
3758
+ {
3759
+ "field": "orientation",
3760
+ "rhs": {
3761
+ "kind": "name",
3762
+ "name": "orientation"
3763
+ }
3764
+ },
3765
+ {
3766
+ "field": "dir",
3767
+ "rhs": {
3768
+ "kind": "name",
3769
+ "name": "dir"
3770
+ }
3771
+ },
3772
+ {
3773
+ "field": "handled",
3774
+ "rhs": {
3775
+ "kind": "bool",
3776
+ "value": false
3777
+ }
3778
+ },
3779
+ {
3780
+ "field": "controlled",
3781
+ "rhs": {
3782
+ "kind": "name",
3783
+ "name": "controlled"
3784
+ }
3785
+ },
3786
+ {
3787
+ "field": "accepting",
3788
+ "rhs": {
3789
+ "kind": "name",
3790
+ "name": "accepting"
3791
+ }
3792
+ },
3793
+ {
3794
+ "field": "valueProp",
3795
+ "rhs": {
3796
+ "kind": "app",
3797
+ "opcode": "propAfter",
3798
+ "args": [
3799
+ {
3800
+ "kind": "name",
3801
+ "name": "follows"
3802
+ },
3803
+ {
3804
+ "kind": "name",
3805
+ "name": "valueProp"
3806
+ },
3807
+ {
3808
+ "kind": "app",
3809
+ "opcode": "pointerValue",
3810
+ "args": [
3811
+ {
3812
+ "kind": "name",
3813
+ "name": "raw"
3814
+ }
3815
+ ]
3816
+ }
3817
+ ]
3818
+ }
3819
+ },
3820
+ {
3821
+ "field": "requested",
3822
+ "rhs": {
3823
+ "kind": "app",
3824
+ "opcode": "ite",
3825
+ "args": [
3826
+ {
3827
+ "kind": "app",
3828
+ "opcode": "wants",
3829
+ "args": [
3830
+ {
3831
+ "kind": "bool",
3832
+ "value": true
3833
+ },
3834
+ {
3835
+ "kind": "name",
3836
+ "name": "value"
3837
+ },
3838
+ {
3839
+ "kind": "app",
3840
+ "opcode": "pointerValue",
3841
+ "args": [
3842
+ {
3843
+ "kind": "name",
3844
+ "name": "raw"
3845
+ }
3846
+ ]
3847
+ }
3848
+ ]
3849
+ },
3850
+ {
3851
+ "kind": "app",
3852
+ "opcode": "pointerValue",
3853
+ "args": [
3854
+ {
3855
+ "kind": "name",
3856
+ "name": "raw"
3857
+ }
3858
+ ]
3859
+ },
3860
+ {
3861
+ "kind": "name",
3862
+ "name": "requested"
3863
+ }
3864
+ ]
3865
+ }
3866
+ },
3867
+ {
3868
+ "field": "outcome",
3869
+ "rhs": {
3870
+ "kind": "app",
3871
+ "opcode": "ite",
3872
+ "args": [
3873
+ {
3874
+ "kind": "app",
3875
+ "opcode": "wants",
3876
+ "args": [
3877
+ {
3878
+ "kind": "bool",
3879
+ "value": true
3880
+ },
3881
+ {
3882
+ "kind": "name",
3883
+ "name": "value"
3884
+ },
3885
+ {
3886
+ "kind": "app",
3887
+ "opcode": "pointerValue",
3888
+ "args": [
3889
+ {
3890
+ "kind": "name",
3891
+ "name": "raw"
3892
+ }
3893
+ ]
3894
+ }
3895
+ ]
3896
+ },
3897
+ {
3898
+ "kind": "name",
3899
+ "name": "verdict"
3900
+ },
3901
+ {
3902
+ "kind": "name",
3903
+ "name": "outcome"
3904
+ }
3905
+ ]
3906
+ }
3907
+ },
3908
+ {
3909
+ "field": "base",
3910
+ "rhs": {
3911
+ "kind": "app",
3912
+ "opcode": "ite",
3913
+ "args": [
3914
+ {
3915
+ "kind": "app",
3916
+ "opcode": "wants",
3917
+ "args": [
3918
+ {
3919
+ "kind": "bool",
3920
+ "value": true
3921
+ },
3922
+ {
3923
+ "kind": "name",
3924
+ "name": "value"
3925
+ },
3926
+ {
3927
+ "kind": "app",
3928
+ "opcode": "pointerValue",
3929
+ "args": [
3930
+ {
3931
+ "kind": "name",
3932
+ "name": "raw"
3933
+ }
3934
+ ]
3935
+ }
3936
+ ]
3937
+ },
3938
+ {
3939
+ "kind": "name",
3940
+ "name": "value"
3941
+ },
3942
+ {
3943
+ "kind": "name",
3944
+ "name": "base"
3945
+ }
3946
+ ]
3947
+ }
3948
+ },
3949
+ {
3950
+ "field": "requests",
3951
+ "rhs": {
3952
+ "kind": "app",
3953
+ "opcode": "ite",
3954
+ "args": [
3955
+ {
3956
+ "kind": "app",
3957
+ "opcode": "wants",
3958
+ "args": [
3959
+ {
3960
+ "kind": "bool",
3961
+ "value": true
3962
+ },
3963
+ {
3964
+ "kind": "name",
3965
+ "name": "value"
3966
+ },
3967
+ {
3968
+ "kind": "app",
3969
+ "opcode": "pointerValue",
3970
+ "args": [
3971
+ {
3972
+ "kind": "name",
3973
+ "name": "raw"
3974
+ }
3975
+ ]
3976
+ }
3977
+ ]
3978
+ },
3979
+ {
3980
+ "kind": "app",
3981
+ "opcode": "iadd",
3982
+ "args": [
3983
+ {
3984
+ "kind": "name",
3985
+ "name": "requests"
3986
+ },
3987
+ {
3988
+ "kind": "int",
3989
+ "value": "1"
3990
+ }
3991
+ ]
3992
+ },
3993
+ {
3994
+ "kind": "name",
3995
+ "name": "requests"
3996
+ }
3997
+ ]
3998
+ }
3999
+ }
4000
+ ]
4001
+ },
4002
+ {
4003
+ "name": "setOrientation",
4004
+ "nondet": {
4005
+ "name": "o",
4006
+ "kind": "str",
4007
+ "pool": [
4008
+ "horizontal",
4009
+ "vertical"
4010
+ ]
4011
+ },
4012
+ "assignments": [
4013
+ {
4014
+ "field": "flavor",
4015
+ "rhs": {
4016
+ "kind": "name",
4017
+ "name": "flavor"
4018
+ }
4019
+ },
4020
+ {
4021
+ "field": "value",
4022
+ "rhs": {
4023
+ "kind": "name",
4024
+ "name": "value"
4025
+ }
4026
+ },
4027
+ {
4028
+ "field": "focused",
4029
+ "rhs": {
4030
+ "kind": "name",
4031
+ "name": "focused"
4032
+ }
4033
+ },
4034
+ {
4035
+ "field": "orientation",
4036
+ "rhs": {
4037
+ "kind": "name",
4038
+ "name": "o"
4039
+ }
4040
+ },
4041
+ {
4042
+ "field": "dir",
4043
+ "rhs": {
4044
+ "kind": "name",
4045
+ "name": "dir"
4046
+ }
4047
+ },
4048
+ {
4049
+ "field": "handled",
4050
+ "rhs": {
4051
+ "kind": "bool",
4052
+ "value": false
4053
+ }
4054
+ },
4055
+ {
4056
+ "field": "controlled",
4057
+ "rhs": {
4058
+ "kind": "name",
4059
+ "name": "controlled"
4060
+ }
4061
+ },
4062
+ {
4063
+ "field": "accepting",
4064
+ "rhs": {
4065
+ "kind": "name",
4066
+ "name": "accepting"
4067
+ }
4068
+ },
4069
+ {
4070
+ "field": "valueProp",
4071
+ "rhs": {
4072
+ "kind": "name",
4073
+ "name": "valueProp"
4074
+ }
4075
+ },
4076
+ {
4077
+ "field": "requested",
4078
+ "rhs": {
4079
+ "kind": "name",
4080
+ "name": "requested"
4081
+ }
4082
+ },
4083
+ {
4084
+ "field": "outcome",
4085
+ "rhs": {
4086
+ "kind": "name",
4087
+ "name": "outcome"
4088
+ }
4089
+ },
4090
+ {
4091
+ "field": "base",
4092
+ "rhs": {
4093
+ "kind": "name",
4094
+ "name": "base"
4095
+ }
4096
+ },
4097
+ {
4098
+ "field": "requests",
4099
+ "rhs": {
4100
+ "kind": "name",
4101
+ "name": "requests"
4102
+ }
4103
+ }
4104
+ ]
4105
+ },
4106
+ {
4107
+ "name": "setDir",
4108
+ "nondet": {
4109
+ "name": "d",
4110
+ "kind": "str",
4111
+ "pool": [
4112
+ "ltr",
4113
+ "rtl"
4114
+ ]
4115
+ },
4116
+ "assignments": [
4117
+ {
4118
+ "field": "flavor",
4119
+ "rhs": {
4120
+ "kind": "name",
4121
+ "name": "flavor"
4122
+ }
4123
+ },
4124
+ {
4125
+ "field": "value",
4126
+ "rhs": {
4127
+ "kind": "name",
4128
+ "name": "value"
4129
+ }
4130
+ },
4131
+ {
4132
+ "field": "focused",
4133
+ "rhs": {
4134
+ "kind": "name",
4135
+ "name": "focused"
4136
+ }
4137
+ },
4138
+ {
4139
+ "field": "orientation",
4140
+ "rhs": {
4141
+ "kind": "name",
4142
+ "name": "orientation"
4143
+ }
4144
+ },
4145
+ {
4146
+ "field": "dir",
4147
+ "rhs": {
4148
+ "kind": "name",
4149
+ "name": "d"
4150
+ }
4151
+ },
4152
+ {
4153
+ "field": "handled",
4154
+ "rhs": {
4155
+ "kind": "bool",
4156
+ "value": false
4157
+ }
4158
+ },
4159
+ {
4160
+ "field": "controlled",
4161
+ "rhs": {
4162
+ "kind": "name",
4163
+ "name": "controlled"
4164
+ }
4165
+ },
4166
+ {
4167
+ "field": "accepting",
4168
+ "rhs": {
4169
+ "kind": "name",
4170
+ "name": "accepting"
4171
+ }
4172
+ },
4173
+ {
4174
+ "field": "valueProp",
4175
+ "rhs": {
4176
+ "kind": "name",
4177
+ "name": "valueProp"
4178
+ }
4179
+ },
4180
+ {
4181
+ "field": "requested",
4182
+ "rhs": {
4183
+ "kind": "name",
4184
+ "name": "requested"
4185
+ }
4186
+ },
4187
+ {
4188
+ "field": "outcome",
4189
+ "rhs": {
4190
+ "kind": "name",
4191
+ "name": "outcome"
4192
+ }
4193
+ },
4194
+ {
4195
+ "field": "base",
4196
+ "rhs": {
4197
+ "kind": "name",
4198
+ "name": "base"
4199
+ }
4200
+ },
4201
+ {
4202
+ "field": "requests",
4203
+ "rhs": {
4204
+ "kind": "name",
4205
+ "name": "requests"
4206
+ }
4207
+ }
4208
+ ]
4209
+ },
4210
+ {
4211
+ "name": "setValue",
4212
+ "nondet": {
4213
+ "name": "v",
4214
+ "kind": "int",
4215
+ "pool": [
4216
+ "0",
4217
+ "2",
4218
+ "4",
4219
+ "6",
4220
+ "8",
4221
+ "10"
4222
+ ]
4223
+ },
4224
+ "assignments": [
4225
+ {
4226
+ "field": "flavor",
4227
+ "rhs": {
4228
+ "kind": "name",
4229
+ "name": "flavor"
4230
+ }
4231
+ },
4232
+ {
4233
+ "field": "value",
4234
+ "rhs": {
4235
+ "kind": "app",
4236
+ "opcode": "ite",
4237
+ "args": [
4238
+ {
4239
+ "kind": "name",
4240
+ "name": "controlled"
4241
+ },
4242
+ {
4243
+ "kind": "name",
4244
+ "name": "v"
4245
+ },
4246
+ {
4247
+ "kind": "name",
4248
+ "name": "value"
4249
+ }
4250
+ ]
4251
+ }
4252
+ },
4253
+ {
4254
+ "field": "focused",
4255
+ "rhs": {
4256
+ "kind": "name",
4257
+ "name": "focused"
4258
+ }
4259
+ },
4260
+ {
4261
+ "field": "orientation",
4262
+ "rhs": {
4263
+ "kind": "name",
4264
+ "name": "orientation"
4265
+ }
4266
+ },
4267
+ {
4268
+ "field": "dir",
4269
+ "rhs": {
4270
+ "kind": "name",
4271
+ "name": "dir"
4272
+ }
4273
+ },
4274
+ {
4275
+ "field": "handled",
4276
+ "rhs": {
4277
+ "kind": "bool",
4278
+ "value": false
4279
+ }
4280
+ },
4281
+ {
4282
+ "field": "controlled",
4283
+ "rhs": {
4284
+ "kind": "name",
4285
+ "name": "controlled"
4286
+ }
4287
+ },
4288
+ {
4289
+ "field": "accepting",
4290
+ "rhs": {
4291
+ "kind": "name",
4292
+ "name": "accepting"
4293
+ }
4294
+ },
4295
+ {
4296
+ "field": "valueProp",
4297
+ "rhs": {
4298
+ "kind": "app",
4299
+ "opcode": "ite",
4300
+ "args": [
4301
+ {
4302
+ "kind": "name",
4303
+ "name": "controlled"
4304
+ },
4305
+ {
4306
+ "kind": "name",
4307
+ "name": "v"
4308
+ },
4309
+ {
4310
+ "kind": "name",
4311
+ "name": "valueProp"
4312
+ }
4313
+ ]
4314
+ }
4315
+ },
4316
+ {
4317
+ "field": "requested",
4318
+ "rhs": {
4319
+ "kind": "name",
4320
+ "name": "requested"
4321
+ }
4322
+ },
4323
+ {
4324
+ "field": "outcome",
4325
+ "rhs": {
4326
+ "kind": "app",
4327
+ "opcode": "ite",
4328
+ "args": [
4329
+ {
4330
+ "kind": "name",
4331
+ "name": "controlled"
4332
+ },
4333
+ {
4334
+ "kind": "str",
4335
+ "value": "none"
4336
+ },
4337
+ {
4338
+ "kind": "name",
4339
+ "name": "outcome"
4340
+ }
4341
+ ]
4342
+ }
4343
+ },
4344
+ {
4345
+ "field": "base",
4346
+ "rhs": {
4347
+ "kind": "name",
4348
+ "name": "base"
4349
+ }
4350
+ },
4351
+ {
4352
+ "field": "requests",
4353
+ "rhs": {
4354
+ "kind": "name",
4355
+ "name": "requests"
4356
+ }
4357
+ }
4358
+ ]
4359
+ },
4360
+ {
4361
+ "name": "hostToggle",
4362
+ "assignments": [
4363
+ {
4364
+ "field": "flavor",
4365
+ "rhs": {
4366
+ "kind": "name",
4367
+ "name": "flavor"
4368
+ }
4369
+ },
4370
+ {
4371
+ "field": "value",
4372
+ "rhs": {
4373
+ "kind": "app",
4374
+ "opcode": "ite",
4375
+ "args": [
4376
+ {
4377
+ "kind": "name",
4378
+ "name": "controlled"
4379
+ },
4380
+ {
4381
+ "kind": "app",
4382
+ "opcode": "ite",
4383
+ "args": [
4384
+ {
4385
+ "kind": "app",
4386
+ "opcode": "eq",
4387
+ "args": [
4388
+ {
4389
+ "kind": "name",
4390
+ "name": "valueProp"
4391
+ },
4392
+ {
4393
+ "kind": "name",
4394
+ "name": "rangeMax"
4395
+ }
4396
+ ]
4397
+ },
4398
+ {
4399
+ "kind": "name",
4400
+ "name": "rangeMin"
4401
+ },
4402
+ {
4403
+ "kind": "name",
4404
+ "name": "rangeMax"
4405
+ }
4406
+ ]
4407
+ },
4408
+ {
4409
+ "kind": "name",
4410
+ "name": "value"
4411
+ }
4412
+ ]
4413
+ }
4414
+ },
4415
+ {
4416
+ "field": "focused",
4417
+ "rhs": {
4418
+ "kind": "name",
4419
+ "name": "focused"
4420
+ }
4421
+ },
4422
+ {
4423
+ "field": "orientation",
4424
+ "rhs": {
4425
+ "kind": "name",
4426
+ "name": "orientation"
4427
+ }
4428
+ },
4429
+ {
4430
+ "field": "dir",
4431
+ "rhs": {
4432
+ "kind": "name",
4433
+ "name": "dir"
4434
+ }
4435
+ },
4436
+ {
4437
+ "field": "handled",
4438
+ "rhs": {
4439
+ "kind": "bool",
4440
+ "value": false
4441
+ }
4442
+ },
4443
+ {
4444
+ "field": "controlled",
4445
+ "rhs": {
4446
+ "kind": "name",
4447
+ "name": "controlled"
4448
+ }
4449
+ },
4450
+ {
4451
+ "field": "accepting",
4452
+ "rhs": {
4453
+ "kind": "name",
4454
+ "name": "accepting"
4455
+ }
4456
+ },
4457
+ {
4458
+ "field": "valueProp",
4459
+ "rhs": {
4460
+ "kind": "app",
4461
+ "opcode": "ite",
4462
+ "args": [
4463
+ {
4464
+ "kind": "name",
4465
+ "name": "controlled"
4466
+ },
4467
+ {
4468
+ "kind": "app",
4469
+ "opcode": "ite",
4470
+ "args": [
4471
+ {
4472
+ "kind": "app",
4473
+ "opcode": "eq",
4474
+ "args": [
4475
+ {
4476
+ "kind": "name",
4477
+ "name": "valueProp"
4478
+ },
4479
+ {
4480
+ "kind": "name",
4481
+ "name": "rangeMax"
4482
+ }
4483
+ ]
4484
+ },
4485
+ {
4486
+ "kind": "name",
4487
+ "name": "rangeMin"
4488
+ },
4489
+ {
4490
+ "kind": "name",
4491
+ "name": "rangeMax"
4492
+ }
4493
+ ]
4494
+ },
4495
+ {
4496
+ "kind": "name",
4497
+ "name": "valueProp"
4498
+ }
4499
+ ]
4500
+ }
4501
+ },
4502
+ {
4503
+ "field": "requested",
4504
+ "rhs": {
4505
+ "kind": "name",
4506
+ "name": "requested"
4507
+ }
4508
+ },
4509
+ {
4510
+ "field": "outcome",
4511
+ "rhs": {
4512
+ "kind": "app",
4513
+ "opcode": "ite",
4514
+ "args": [
4515
+ {
4516
+ "kind": "name",
4517
+ "name": "controlled"
4518
+ },
4519
+ {
4520
+ "kind": "str",
4521
+ "value": "none"
4522
+ },
4523
+ {
4524
+ "kind": "name",
4525
+ "name": "outcome"
4526
+ }
4527
+ ]
4528
+ }
4529
+ },
4530
+ {
4531
+ "field": "base",
4532
+ "rhs": {
4533
+ "kind": "name",
4534
+ "name": "base"
4535
+ }
4536
+ },
4537
+ {
4538
+ "field": "requests",
4539
+ "rhs": {
4540
+ "kind": "name",
4541
+ "name": "requests"
4542
+ }
4543
+ }
4544
+ ]
4545
+ },
4546
+ {
4547
+ "name": "control",
4548
+ "assignments": [
4549
+ {
4550
+ "field": "flavor",
4551
+ "rhs": {
4552
+ "kind": "name",
4553
+ "name": "flavor"
4554
+ }
4555
+ },
4556
+ {
4557
+ "field": "value",
4558
+ "rhs": {
4559
+ "kind": "name",
4560
+ "name": "value"
4561
+ }
4562
+ },
4563
+ {
4564
+ "field": "focused",
4565
+ "rhs": {
4566
+ "kind": "name",
4567
+ "name": "focused"
4568
+ }
4569
+ },
4570
+ {
4571
+ "field": "orientation",
4572
+ "rhs": {
4573
+ "kind": "name",
4574
+ "name": "orientation"
4575
+ }
4576
+ },
4577
+ {
4578
+ "field": "dir",
4579
+ "rhs": {
4580
+ "kind": "name",
4581
+ "name": "dir"
4582
+ }
4583
+ },
4584
+ {
4585
+ "field": "handled",
4586
+ "rhs": {
4587
+ "kind": "bool",
4588
+ "value": false
4589
+ }
4590
+ },
4591
+ {
4592
+ "field": "controlled",
4593
+ "rhs": {
4594
+ "kind": "bool",
4595
+ "value": true
4596
+ }
4597
+ },
4598
+ {
4599
+ "field": "accepting",
4600
+ "rhs": {
4601
+ "kind": "name",
4602
+ "name": "accepting"
4603
+ }
4604
+ },
4605
+ {
4606
+ "field": "valueProp",
4607
+ "rhs": {
4608
+ "kind": "name",
4609
+ "name": "value"
4610
+ }
4611
+ },
4612
+ {
4613
+ "field": "requested",
4614
+ "rhs": {
4615
+ "kind": "name",
4616
+ "name": "requested"
4617
+ }
4618
+ },
4619
+ {
4620
+ "field": "outcome",
4621
+ "rhs": {
4622
+ "kind": "name",
4623
+ "name": "outcome"
4624
+ }
4625
+ },
4626
+ {
4627
+ "field": "base",
4628
+ "rhs": {
4629
+ "kind": "name",
4630
+ "name": "base"
4631
+ }
4632
+ },
4633
+ {
4634
+ "field": "requests",
4635
+ "rhs": {
4636
+ "kind": "name",
4637
+ "name": "requests"
4638
+ }
4639
+ }
4640
+ ]
4641
+ },
4642
+ {
4643
+ "name": "acceptRequests",
4644
+ "assignments": [
4645
+ {
4646
+ "field": "flavor",
4647
+ "rhs": {
4648
+ "kind": "name",
4649
+ "name": "flavor"
4650
+ }
4651
+ },
4652
+ {
4653
+ "field": "value",
4654
+ "rhs": {
4655
+ "kind": "name",
4656
+ "name": "value"
4657
+ }
4658
+ },
4659
+ {
4660
+ "field": "focused",
4661
+ "rhs": {
4662
+ "kind": "name",
4663
+ "name": "focused"
4664
+ }
4665
+ },
4666
+ {
4667
+ "field": "orientation",
4668
+ "rhs": {
4669
+ "kind": "name",
4670
+ "name": "orientation"
4671
+ }
4672
+ },
4673
+ {
4674
+ "field": "dir",
4675
+ "rhs": {
4676
+ "kind": "name",
4677
+ "name": "dir"
4678
+ }
4679
+ },
4680
+ {
4681
+ "field": "handled",
4682
+ "rhs": {
4683
+ "kind": "bool",
4684
+ "value": false
4685
+ }
4686
+ },
4687
+ {
4688
+ "field": "controlled",
4689
+ "rhs": {
4690
+ "kind": "name",
4691
+ "name": "controlled"
4692
+ }
4693
+ },
4694
+ {
4695
+ "field": "accepting",
4696
+ "rhs": {
4697
+ "kind": "bool",
4698
+ "value": true
4699
+ }
4700
+ },
4701
+ {
4702
+ "field": "valueProp",
4703
+ "rhs": {
4704
+ "kind": "name",
4705
+ "name": "valueProp"
4706
+ }
4707
+ },
4708
+ {
4709
+ "field": "requested",
4710
+ "rhs": {
4711
+ "kind": "name",
4712
+ "name": "requested"
4713
+ }
4714
+ },
4715
+ {
4716
+ "field": "outcome",
4717
+ "rhs": {
4718
+ "kind": "name",
4719
+ "name": "outcome"
4720
+ }
4721
+ },
4722
+ {
4723
+ "field": "base",
4724
+ "rhs": {
4725
+ "kind": "name",
4726
+ "name": "base"
4727
+ }
4728
+ },
4729
+ {
4730
+ "field": "requests",
4731
+ "rhs": {
4732
+ "kind": "name",
4733
+ "name": "requests"
4734
+ }
4735
+ }
4736
+ ]
4737
+ },
4738
+ {
4739
+ "name": "configure",
4740
+ "nondet": {
4741
+ "name": "pick",
4742
+ "kind": "int",
4743
+ "pool": [
4744
+ "0",
4745
+ "1"
4746
+ ]
4747
+ },
4748
+ "assignments": [
4749
+ {
4750
+ "field": "flavor",
4751
+ "rhs": {
4752
+ "kind": "name",
4753
+ "name": "pick"
4754
+ }
4755
+ },
4756
+ {
4757
+ "field": "value",
4758
+ "rhs": {
4759
+ "kind": "app",
4760
+ "opcode": "variantStart",
4761
+ "args": [
4762
+ {
4763
+ "kind": "name",
4764
+ "name": "pick"
4765
+ }
4766
+ ]
4767
+ }
4768
+ },
4769
+ {
4770
+ "field": "focused",
4771
+ "rhs": {
4772
+ "kind": "bool",
4773
+ "value": false
4774
+ }
4775
+ },
4776
+ {
4777
+ "field": "orientation",
4778
+ "rhs": {
4779
+ "kind": "str",
4780
+ "value": "horizontal"
4781
+ }
4782
+ },
4783
+ {
4784
+ "field": "dir",
4785
+ "rhs": {
4786
+ "kind": "str",
4787
+ "value": "ltr"
4788
+ }
4789
+ },
4790
+ {
4791
+ "field": "handled",
4792
+ "rhs": {
4793
+ "kind": "bool",
4794
+ "value": false
4795
+ }
4796
+ },
4797
+ {
4798
+ "field": "controlled",
4799
+ "rhs": {
4800
+ "kind": "bool",
4801
+ "value": false
4802
+ }
4803
+ },
4804
+ {
4805
+ "field": "accepting",
4806
+ "rhs": {
4807
+ "kind": "bool",
4808
+ "value": false
4809
+ }
4810
+ },
4811
+ {
4812
+ "field": "valueProp",
4813
+ "rhs": {
4814
+ "kind": "app",
4815
+ "opcode": "variantStart",
4816
+ "args": [
4817
+ {
4818
+ "kind": "name",
4819
+ "name": "pick"
4820
+ }
4821
+ ]
4822
+ }
4823
+ },
4824
+ {
4825
+ "field": "requested",
4826
+ "rhs": {
4827
+ "kind": "app",
4828
+ "opcode": "variantStart",
4829
+ "args": [
4830
+ {
4831
+ "kind": "name",
4832
+ "name": "pick"
4833
+ }
4834
+ ]
4835
+ }
4836
+ },
4837
+ {
4838
+ "field": "outcome",
4839
+ "rhs": {
4840
+ "kind": "str",
4841
+ "value": "none"
4842
+ }
4843
+ },
4844
+ {
4845
+ "field": "base",
4846
+ "rhs": {
4847
+ "kind": "app",
4848
+ "opcode": "variantStart",
4849
+ "args": [
4850
+ {
4851
+ "kind": "name",
4852
+ "name": "pick"
4853
+ }
4854
+ ]
4855
+ }
4856
+ },
4857
+ {
4858
+ "field": "requests",
4859
+ "rhs": {
4860
+ "kind": "int",
4861
+ "value": "0"
4862
+ }
4863
+ }
4864
+ ]
4865
+ }
4866
+ ],
4867
+ "step": [
4868
+ "init",
4869
+ "configure",
4870
+ "focus",
4871
+ "blur",
4872
+ "keydown",
4873
+ "pointer",
4874
+ "setOrientation",
4875
+ "setDir",
4876
+ "setValue",
4877
+ "hostToggle",
4878
+ "control",
4879
+ "acceptRequests"
4880
+ ]
4881
+ }