@belonguniverseai/react-sdk 0.1.0

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 (848) hide show
  1. package/README.md +47 -0
  2. package/dist/api/agent-grants.d.ts +61 -0
  3. package/dist/api/api-context.d.ts +9 -0
  4. package/dist/api/client.d.ts +2053 -0
  5. package/dist/api/mutations.d.ts +3 -0
  6. package/dist/api/queries.d.ts +21 -0
  7. package/dist/api/query-keys.d.ts +13 -0
  8. package/dist/api/report-client-error.d.ts +23 -0
  9. package/dist/api/skills.d.ts +23 -0
  10. package/dist/api/workspace-files.d.ts +9 -0
  11. package/dist/app/BelongDock.d.ts +29 -0
  12. package/dist/app/VoiceOverlay.d.ts +18 -0
  13. package/dist/app/providers.d.ts +12 -0
  14. package/dist/app/router.d.ts +2 -0
  15. package/dist/browser/control-channel.d.ts +29 -0
  16. package/dist/browser/dom-bridge.d.ts +6 -0
  17. package/dist/browser/spa-navigate.d.ts +87 -0
  18. package/dist/component/BelongWidget.d.ts +27 -0
  19. package/dist/component/abap-BqLfTM3_.js +9 -0
  20. package/dist/component/abap-Dosx9LfS.js +9 -0
  21. package/dist/component/actionscript-3-CFt6EqSB.js +9 -0
  22. package/dist/component/actionscript-3-CShGOdtT.js +9 -0
  23. package/dist/component/ada-8tCnwMXx.js +9 -0
  24. package/dist/component/ada-DaqFF2jd.js +9 -0
  25. package/dist/component/andromeeda-BxBtQ0rC.js +7 -0
  26. package/dist/component/andromeeda-Dx5fm3r-.js +7 -0
  27. package/dist/component/angular-html-CAoRrq6i.js +35 -0
  28. package/dist/component/angular-html-DG52iVg8.js +35 -0
  29. package/dist/component/angular-ts-BvOrReBc.js +24 -0
  30. package/dist/component/angular-ts-LQyiJZqb.js +24 -0
  31. package/dist/component/apache-HdVsAIQf.js +9 -0
  32. package/dist/component/apache-c3M5d5MN.js +9 -0
  33. package/dist/component/apex-B-y6HhVC.js +9 -0
  34. package/dist/component/apex-DXDfZUnb.js +9 -0
  35. package/dist/component/apl-BnXq3ZtQ.js +19 -0
  36. package/dist/component/apl-D7VFrOyT.js +19 -0
  37. package/dist/component/applescript-BZbrjHcY.js +9 -0
  38. package/dist/component/applescript-Bo1adDet.js +9 -0
  39. package/dist/component/ara-C1QNxHcU.js +9 -0
  40. package/dist/component/ara-ZjRpP-93.js +9 -0
  41. package/dist/component/arc-DGQIe3ON.js +86 -0
  42. package/dist/component/architectureDiagram-3BPJPVTR-C3uLEfb1.js +4697 -0
  43. package/dist/component/asciidoc-2fV_Cv2j.js +9 -0
  44. package/dist/component/asciidoc-D7PshqvO.js +9 -0
  45. package/dist/component/asm-ClEowkZP.js +9 -0
  46. package/dist/component/asm-DmyJawQj.js +9 -0
  47. package/dist/component/astro-9MHfKoOi.js +21 -0
  48. package/dist/component/astro-Bi3QRBCO.js +21 -0
  49. package/dist/component/aurora-x-BGO53J2I.js +7 -0
  50. package/dist/component/aurora-x-C98he-36.js +7 -0
  51. package/dist/component/awk-CIiDOfUC.js +9 -0
  52. package/dist/component/awk-DnzYQYUx.js +9 -0
  53. package/dist/component/ayu-dark-CK1VRikm.js +7 -0
  54. package/dist/component/ayu-dark-J6FX8oSr.js +7 -0
  55. package/dist/component/ayu-light-DIKBJiwH.js +7 -0
  56. package/dist/component/ayu-light-x4Q5N51d.js +7 -0
  57. package/dist/component/ayu-mirage-C5_fPLwf.js +7 -0
  58. package/dist/component/ayu-mirage-DhPHVcGJ.js +7 -0
  59. package/dist/component/ballerina-CeqVHW9D.js +9 -0
  60. package/dist/component/ballerina-epCf0_WV.js +9 -0
  61. package/dist/component/bat-Cuej7k1C.js +9 -0
  62. package/dist/component/bat-Dai7pznF.js +9 -0
  63. package/dist/component/beancount-CpREEZMl.js +9 -0
  64. package/dist/component/beancount-CwiYx9PE.js +9 -0
  65. package/dist/component/berry-BoYGiG42.js +9 -0
  66. package/dist/component/berry-DFo_i8CN.js +9 -0
  67. package/dist/component/bibtex-2bgmGv5w.js +9 -0
  68. package/dist/component/bibtex-BkTrlnvh.js +9 -0
  69. package/dist/component/bicep-C80YQkEm.js +9 -0
  70. package/dist/component/bicep-DYkQKpr8.js +9 -0
  71. package/dist/component/bird2-5AxdId5f.js +9 -0
  72. package/dist/component/bird2-CjcgWn0f.js +9 -0
  73. package/dist/component/blade-BdUlKesy.js +23 -0
  74. package/dist/component/blade-DNMMxdfa.js +23 -0
  75. package/dist/component/blockDiagram-GPEHLZMM-YerYvLm_.js +2421 -0
  76. package/dist/component/bsl-CYB_gPZn.js +11 -0
  77. package/dist/component/bsl-DJ4bR5oi.js +11 -0
  78. package/dist/component/c-C4AMyX3G.js +9 -0
  79. package/dist/component/c-C7DfT4H8.js +9 -0
  80. package/dist/component/c3-DDixCt0K.js +9 -0
  81. package/dist/component/c3-xeavH2G2.js +9 -0
  82. package/dist/component/c4Diagram-AAUBKEIU-p8UR34Zq.js +1586 -0
  83. package/dist/component/cadence-Cy8toSoU.js +9 -0
  84. package/dist/component/cadence-xq71MyIp.js +9 -0
  85. package/dist/component/cairo-B1qo5_uz.js +11 -0
  86. package/dist/component/cairo-CZSJv_Y_.js +11 -0
  87. package/dist/component/catppuccin-frappe-BGDzipYl.js +7 -0
  88. package/dist/component/catppuccin-frappe-DZ2VPnzg.js +7 -0
  89. package/dist/component/catppuccin-latte-9zQ0xneh.js +7 -0
  90. package/dist/component/catppuccin-latte-CK4XjBXq.js +7 -0
  91. package/dist/component/catppuccin-macchiato-CIKuiG5O.js +7 -0
  92. package/dist/component/catppuccin-macchiato-D1xBlgUI.js +7 -0
  93. package/dist/component/catppuccin-mocha-CQk3ku6b.js +7 -0
  94. package/dist/component/catppuccin-mocha-Dr22M_MR.js +7 -0
  95. package/dist/component/channel-ahmILYyG.js +8 -0
  96. package/dist/component/chunk-2J33WTMH-CGaAxoSO.js +22 -0
  97. package/dist/component/chunk-4BX2VUAB-gRTK7Di9.js +11 -0
  98. package/dist/component/chunk-55IACEB6-XfJuuv6Y.js +11 -0
  99. package/dist/component/chunk-727SXJPM-Cy0hXMuO.js +1537 -0
  100. package/dist/component/chunk-AQP2D5EJ-CZHGw4se.js +1396 -0
  101. package/dist/component/chunk-FMBD7UC4-CyqtPCO0.js +22 -0
  102. package/dist/component/chunk-ND2GUHAM-CzTviSBV.js +71 -0
  103. package/dist/component/chunk-QZHKN3VN-CHDEerWv.js +21 -0
  104. package/dist/component/clarity-Dmd3VcKv.js +9 -0
  105. package/dist/component/clarity-FR-MQPIo.js +9 -0
  106. package/dist/component/classDiagram-4FO5ZUOK-BDzl1OcC.js +19 -0
  107. package/dist/component/classDiagram-v2-Q7XG4LA2-BDzl1OcC.js +19 -0
  108. package/dist/component/clojure-CZ5pqCKI.js +9 -0
  109. package/dist/component/clojure-DUXXPerS.js +9 -0
  110. package/dist/component/cmake-DeSLuBit.js +9 -0
  111. package/dist/component/cmake-Dh5RXd_q.js +9 -0
  112. package/dist/component/cobol-B0R9veOS.js +13 -0
  113. package/dist/component/cobol-DayClXiO.js +13 -0
  114. package/dist/component/codeowners-C5Gg1qBb.js +9 -0
  115. package/dist/component/codeowners-RGJbf4XS.js +9 -0
  116. package/dist/component/codeql-1OtYEVEY.js +9 -0
  117. package/dist/component/codeql-CoCy8yp4.js +9 -0
  118. package/dist/component/coffee-kdLRO3eV.js +11 -0
  119. package/dist/component/coffee-tRjJZw7o.js +11 -0
  120. package/dist/component/common-lisp-BeJe0ab6.js +9 -0
  121. package/dist/component/common-lisp-GbfS1OBj.js +9 -0
  122. package/dist/component/coq-B0RJLsKz.js +9 -0
  123. package/dist/component/coq-DMlFNAl3.js +9 -0
  124. package/dist/component/cose-bilkent-S5V4N54A-4R0ErgrZ.js +2611 -0
  125. package/dist/component/cpp-BpiKH-9I.js +21 -0
  126. package/dist/component/cpp-BwGJQL2p.js +21 -0
  127. package/dist/component/crystal-Bb_LifhW.js +21 -0
  128. package/dist/component/crystal-D0cTXans.js +21 -0
  129. package/dist/component/csharp-5kMbpBNi.js +9 -0
  130. package/dist/component/csharp-UFMQzTVu.js +9 -0
  131. package/dist/component/css-B2ckPEoZ.js +9 -0
  132. package/dist/component/css-MDiv-Xmm.js +9 -0
  133. package/dist/component/csv-Ba1T94jM.js +9 -0
  134. package/dist/component/csv-DZ-mzuKa.js +9 -0
  135. package/dist/component/cue-CtGb6f31.js +9 -0
  136. package/dist/component/cue-DbYr629m.js +9 -0
  137. package/dist/component/cypher-7eGqJtNJ.js +9 -0
  138. package/dist/component/cypher-pD9MnYc_.js +9 -0
  139. package/dist/component/cytoscape.esm-C31R6JOv.js +18772 -0
  140. package/dist/component/d-BefBLeap.js +9 -0
  141. package/dist/component/d-Dij3nCx4.js +9 -0
  142. package/dist/component/dagre-BM42HDAG-BcJQXGn3.js +448 -0
  143. package/dist/component/dark-plus-C9nS7rhq.js +7 -0
  144. package/dist/component/dark-plus-L3JON0ir.js +7 -0
  145. package/dist/component/dart-BWNSliXX.js +9 -0
  146. package/dist/component/dart-DCRAsZQK.js +9 -0
  147. package/dist/component/dax-CWdGoxkM.js +9 -0
  148. package/dist/component/dax-pykceZLM.js +9 -0
  149. package/dist/component/defaultLocale-BXpxsZAK.js +174 -0
  150. package/dist/component/desktop-4j8jFU02.js +9 -0
  151. package/dist/component/desktop-B3AeStqn.js +9 -0
  152. package/dist/component/diagram-2AECGRRQ-Cld7-k7F.js +220 -0
  153. package/dist/component/diagram-5GNKFQAL-d7JtHVRK.js +126 -0
  154. package/dist/component/diagram-KO2AKTUF-Avxzz4xw.js +464 -0
  155. package/dist/component/diagram-LMA3HP47-Cy_E5-rU.js +148 -0
  156. package/dist/component/diagram-OG6HWLK6-DUsJK7Js.js +534 -0
  157. package/dist/component/diff-DuoPSmgL.js +9 -0
  158. package/dist/component/diff-IyCSM08A.js +9 -0
  159. package/dist/component/docker-BSrvy0o9.js +9 -0
  160. package/dist/component/docker-Ca4vT6OJ.js +9 -0
  161. package/dist/component/dotenv-CUP-PB19.js +9 -0
  162. package/dist/component/dotenv-aA3GGxJM.js +9 -0
  163. package/dist/component/dracula-2BaSCSav.js +7 -0
  164. package/dist/component/dracula-Lg7_DbOD.js +7 -0
  165. package/dist/component/dracula-soft-AsPqNBvZ.js +7 -0
  166. package/dist/component/dracula-soft-n6R-sBGM.js +7 -0
  167. package/dist/component/dream-maker-B2xERNvR.js +9 -0
  168. package/dist/component/dream-maker-Jadq_Ln7.js +9 -0
  169. package/dist/component/edge-B-amp2rn.js +15 -0
  170. package/dist/component/edge-Bol1lNG-.js +15 -0
  171. package/dist/component/elixir-DSzpv_bE.js +11 -0
  172. package/dist/component/elixir-t5YY_ese.js +11 -0
  173. package/dist/component/elm-DNaka8RZ.js +11 -0
  174. package/dist/component/elm-JLsvCHy1.js +11 -0
  175. package/dist/component/emacs-lisp-C6XZT609.js +9 -0
  176. package/dist/component/emacs-lisp-DWDtb5kD.js +9 -0
  177. package/dist/component/erDiagram-TEJ5UH35-DEdqrWqp.js +905 -0
  178. package/dist/component/erb-BJ95qgrJ.js +13 -0
  179. package/dist/component/erb-rGIYAeIa.js +13 -0
  180. package/dist/component/erlang-By5grfmz.js +11 -0
  181. package/dist/component/erlang-rAClsghX.js +11 -0
  182. package/dist/component/everforest-dark-DBhTz0Lt.js +7 -0
  183. package/dist/component/everforest-dark-_A43rkLf.js +7 -0
  184. package/dist/component/everforest-light-Bep_XOgu.js +7 -0
  185. package/dist/component/everforest-light-DHbrW2te.js +7 -0
  186. package/dist/component/fennel-CeQPNUU9.js +9 -0
  187. package/dist/component/fennel-QllfYze1.js +9 -0
  188. package/dist/component/fish-BXP1eRyz.js +9 -0
  189. package/dist/component/fish-DkfR0DRL.js +9 -0
  190. package/dist/component/flowDiagram-I6XJVG4X-BWzYDsjP.js +1634 -0
  191. package/dist/component/fluent-Ih0R99Ix.js +9 -0
  192. package/dist/component/fluent-RduSrzCZ.js +9 -0
  193. package/dist/component/fortran-fixed-form-C3I8YlEU.js +11 -0
  194. package/dist/component/fortran-fixed-form-D7OlW0lw.js +11 -0
  195. package/dist/component/fortran-free-form-CXj2ku4f.js +9 -0
  196. package/dist/component/fortran-free-form-DifCDW_P.js +9 -0
  197. package/dist/component/fsharp-65O4P3S5.js +11 -0
  198. package/dist/component/fsharp-CXzwUWsC.js +11 -0
  199. package/dist/component/ganttDiagram-6RSMTGT7-DzfeVIgF.js +2709 -0
  200. package/dist/component/gdresource-Bn5VhPaI.js +13 -0
  201. package/dist/component/gdresource-kUFIn9eK.js +13 -0
  202. package/dist/component/gdscript-BNGA6E65.js +9 -0
  203. package/dist/component/gdscript-LjKsfw3O.js +9 -0
  204. package/dist/component/gdshader-C-Gp5-Ot.js +9 -0
  205. package/dist/component/gdshader-C1lRZRQz.js +9 -0
  206. package/dist/component/genie-B8viIUNC.js +9 -0
  207. package/dist/component/genie-eR37RVXX.js +9 -0
  208. package/dist/component/gherkin-BVA-IOor.js +9 -0
  209. package/dist/component/gherkin-CuORnKvF.js +9 -0
  210. package/dist/component/git-commit-BNPqpLhi.js +11 -0
  211. package/dist/component/git-commit-Dh7BfmB9.js +11 -0
  212. package/dist/component/git-rebase-B5TXZutB.js +11 -0
  213. package/dist/component/git-rebase-DhwWS8MC.js +11 -0
  214. package/dist/component/gitGraphDiagram-PVQCEYII-CKzbGWcQ.js +818 -0
  215. package/dist/component/github-dark-5b4g_bOp.js +7 -0
  216. package/dist/component/github-dark-default-6zDGR7DJ.js +7 -0
  217. package/dist/component/github-dark-default-H56pGX_M.js +7 -0
  218. package/dist/component/github-dark-dimmed-B1iXBBmo.js +7 -0
  219. package/dist/component/github-dark-dimmed-DjYa1rhk.js +7 -0
  220. package/dist/component/github-dark-high-contrast-BuNi_Wj5.js +7 -0
  221. package/dist/component/github-dark-high-contrast-DvpYRI-4.js +7 -0
  222. package/dist/component/github-dark-mxHsWyJ4.js +7 -0
  223. package/dist/component/github-light-CTdjTVPf.js +7 -0
  224. package/dist/component/github-light-KqdY1rAV.js +7 -0
  225. package/dist/component/github-light-default-BlRYTBRQ.js +7 -0
  226. package/dist/component/github-light-default-Drw5Jl_p.js +7 -0
  227. package/dist/component/github-light-high-contrast-9d8ktz0h.js +7 -0
  228. package/dist/component/github-light-high-contrast-ColFVC7A.js +7 -0
  229. package/dist/component/gleam-BXQHq2ZT.js +9 -0
  230. package/dist/component/gleam-RfA2dpfH.js +9 -0
  231. package/dist/component/glimmer-js-BHZ1FuRp.js +17 -0
  232. package/dist/component/glimmer-js-Gdq_UYVf.js +17 -0
  233. package/dist/component/glimmer-ts-D6H7q5ls.js +17 -0
  234. package/dist/component/glimmer-ts-DdmgeZua.js +17 -0
  235. package/dist/component/glsl-D1RRylbk.js +11 -0
  236. package/dist/component/glsl-MDSU_3-y.js +11 -0
  237. package/dist/component/gn-D8VPrt1o.js +9 -0
  238. package/dist/component/gn-DJpTAp5e.js +9 -0
  239. package/dist/component/gnuplot-BNzwvBx5.js +9 -0
  240. package/dist/component/gnuplot-Iqvzplz-.js +9 -0
  241. package/dist/component/go-D-G7cxeA.js +9 -0
  242. package/dist/component/go-TNOI7pQc.js +9 -0
  243. package/dist/component/graph-BZLHvygk.js +1548 -0
  244. package/dist/component/graphql-CW6tYk7X.js +17 -0
  245. package/dist/component/graphql-DGugpl40.js +17 -0
  246. package/dist/component/groovy-5_UI-q3N.js +9 -0
  247. package/dist/component/groovy-D7GH48W8.js +9 -0
  248. package/dist/component/gruvbox-dark-hard-Ch2GYDcJ.js +7 -0
  249. package/dist/component/gruvbox-dark-hard-Dpxv_Il6.js +7 -0
  250. package/dist/component/gruvbox-dark-medium-DqoxKYPx.js +7 -0
  251. package/dist/component/gruvbox-dark-medium-eGVEUM8W.js +7 -0
  252. package/dist/component/gruvbox-dark-soft-BA9DdijB.js +7 -0
  253. package/dist/component/gruvbox-dark-soft-DRaJAZcW.js +7 -0
  254. package/dist/component/gruvbox-light-hard-BJXIrqpz.js +7 -0
  255. package/dist/component/gruvbox-light-hard-_qNpoYJy.js +7 -0
  256. package/dist/component/gruvbox-light-medium-39dkJwxv.js +7 -0
  257. package/dist/component/gruvbox-light-medium-IkDFQhcB.js +7 -0
  258. package/dist/component/gruvbox-light-soft-DWPQo7Dn.js +7 -0
  259. package/dist/component/gruvbox-light-soft-Dpz5D6wP.js +7 -0
  260. package/dist/component/hack-BSrzyV-l.js +13 -0
  261. package/dist/component/hack-CJNnfXZh.js +13 -0
  262. package/dist/component/haml-DL-NAYVg.js +13 -0
  263. package/dist/component/haml-DYkTKupK.js +13 -0
  264. package/dist/component/handlebars-B2Z6CWhc.js +17 -0
  265. package/dist/component/handlebars-Cwj0qzUo.js +17 -0
  266. package/dist/component/haskell-Cj3J4fKD.js +9 -0
  267. package/dist/component/haskell-h36TjJLk.js +9 -0
  268. package/dist/component/haxe-CcifGI6O.js +9 -0
  269. package/dist/component/haxe-Coqw0Tt8.js +9 -0
  270. package/dist/component/hcl-BPVqiZDb.js +9 -0
  271. package/dist/component/hcl-DaPl6lOC.js +9 -0
  272. package/dist/component/highlighted-body-OFNGDK62-BkGwwkHo.js +22 -0
  273. package/dist/component/hjson-CfcQXz3-.js +9 -0
  274. package/dist/component/hjson-DsTgWNxt.js +9 -0
  275. package/dist/component/hlsl-CLzjZIQL.js +9 -0
  276. package/dist/component/hlsl-DVyuzW8h.js +9 -0
  277. package/dist/component/horizon-DaNatiIz.js +7 -0
  278. package/dist/component/horizon-bright-CthJh1Qp.js +7 -0
  279. package/dist/component/horizon-bright-DMKA6ab6.js +7 -0
  280. package/dist/component/horizon-q20CuJTh.js +7 -0
  281. package/dist/component/houston-CjpgGYwZ.js +7 -0
  282. package/dist/component/houston-DnIZxOiF.js +7 -0
  283. package/dist/component/html-DSjghx6n.js +13 -0
  284. package/dist/component/html-derivative-CxizaS1Z.js +11 -0
  285. package/dist/component/html-derivative-DDrVhQXu.js +11 -0
  286. package/dist/component/html-tY6fNMOn.js +13 -0
  287. package/dist/component/http-CLvA54iU.js +17 -0
  288. package/dist/component/http-CPkD6MSf.js +17 -0
  289. package/dist/component/hurl-CuuCK9Id.js +15 -0
  290. package/dist/component/hurl-LcD0R7wh.js +15 -0
  291. package/dist/component/hxml-CJz9SfqN.js +11 -0
  292. package/dist/component/hxml-DLsAgg8X.js +11 -0
  293. package/dist/component/hy-CAEey4h7.js +9 -0
  294. package/dist/component/hy-Dm2IGIb-.js +9 -0
  295. package/dist/component/imba-5G9Fs_nr.js +9 -0
  296. package/dist/component/imba-CH2D1ce9.js +9 -0
  297. package/dist/component/index.d.ts +3 -0
  298. package/dist/component/index.js +8 -0
  299. package/dist/component/infoDiagram-5YYISTIA-D9xN-Pqc.js +27 -0
  300. package/dist/component/ini-Dt2l3RWi.js +9 -0
  301. package/dist/component/ini-kgvXisvj.js +9 -0
  302. package/dist/component/init-BOu0eQYQ.js +19 -0
  303. package/dist/component/ishikawaDiagram-YF4QCWOH--YDYWDwv.js +627 -0
  304. package/dist/component/java-BKLcvtEM.js +9 -0
  305. package/dist/component/java-oSN7P0Od.js +9 -0
  306. package/dist/component/javascript-CyaMmpOO.js +9 -0
  307. package/dist/component/javascript-DFm3DOoX.js +9 -0
  308. package/dist/component/jinja-Ch28RrFG.js +14 -0
  309. package/dist/component/jinja-CsTh8Ahj.js +14 -0
  310. package/dist/component/jison-Bu0o8a1Z.js +11 -0
  311. package/dist/component/jison-DLgrOJpy.js +11 -0
  312. package/dist/component/journeyDiagram-JHISSGLW-B9-CHfSv.js +837 -0
  313. package/dist/component/json-D-WsbO45.js +9 -0
  314. package/dist/component/json-rmrBoeO_.js +9 -0
  315. package/dist/component/json5-B1J6XVPd.js +9 -0
  316. package/dist/component/json5-B3-n7IrD.js +9 -0
  317. package/dist/component/jsonc-BgfI3zjg.js +9 -0
  318. package/dist/component/jsonc-HFvGREK8.js +9 -0
  319. package/dist/component/jsonl-DHttz8sH.js +9 -0
  320. package/dist/component/jsonl-l_eIcPip.js +9 -0
  321. package/dist/component/jsonnet-D6SNIhw0.js +9 -0
  322. package/dist/component/jsonnet-DO8Zfk6p.js +9 -0
  323. package/dist/component/jssm-CKRLojKZ.js +9 -0
  324. package/dist/component/jssm-Dy1zjXNg.js +9 -0
  325. package/dist/component/jsx-CpVvoVGp.js +9 -0
  326. package/dist/component/jsx-si2wS7pt.js +9 -0
  327. package/dist/component/julia-BPzvBJ4R.js +19 -0
  328. package/dist/component/julia-CfyFig21.js +19 -0
  329. package/dist/component/just-D5rIv9U4.js +21 -0
  330. package/dist/component/just-fRm_weEQ.js +21 -0
  331. package/dist/component/kanagawa-dragon-BOBo9JLg.js +7 -0
  332. package/dist/component/kanagawa-dragon-BWPCHB_7.js +7 -0
  333. package/dist/component/kanagawa-lotus-8m_3LhhF.js +7 -0
  334. package/dist/component/kanagawa-lotus-B5o1JCNj.js +7 -0
  335. package/dist/component/kanagawa-wave-BSP7z6KH.js +7 -0
  336. package/dist/component/kanagawa-wave-ClYLx7ql.js +7 -0
  337. package/dist/component/kanban-definition-UN3LZRKU-Cmh8twbq.js +727 -0
  338. package/dist/component/kdl-GafIF83C.js +9 -0
  339. package/dist/component/kdl-_X6wsgV0.js +9 -0
  340. package/dist/component/kotlin-B3jfEOcv.js +9 -0
  341. package/dist/component/kotlin-BWMoZeA3.js +9 -0
  342. package/dist/component/kusto-Bkz9eBch.js +9 -0
  343. package/dist/component/kusto-ohiqZ64l.js +9 -0
  344. package/dist/component/laserwave-BmajecBZ.js +7 -0
  345. package/dist/component/laserwave-Bp21zlIO.js +7 -0
  346. package/dist/component/latex-BYzveWoN.js +11 -0
  347. package/dist/component/latex-Bi4Lg68B.js +11 -0
  348. package/dist/component/layout-Bu6nRdWm.js +1731 -0
  349. package/dist/component/lean-BBkk0btj.js +9 -0
  350. package/dist/component/lean-DFmhzmny.js +9 -0
  351. package/dist/component/less-ChX34X5W.js +9 -0
  352. package/dist/component/less-kqPRXL1K.js +9 -0
  353. package/dist/component/light-plus-DFxAowZg.js +7 -0
  354. package/dist/component/light-plus-_t1yKirF.js +7 -0
  355. package/dist/component/linear-BDyEUcVD.js +262 -0
  356. package/dist/component/liquid-Bri_C9oi.js +17 -0
  357. package/dist/component/liquid-f2WMwCDi.js +17 -0
  358. package/dist/component/llvm-COuD10ql.js +9 -0
  359. package/dist/component/llvm-dub2631B.js +9 -0
  360. package/dist/component/log-A8St-vyh.js +9 -0
  361. package/dist/component/log-g58LFxM8.js +9 -0
  362. package/dist/component/logo-DZmThwvl.js +9 -0
  363. package/dist/component/logo-x6YxnKST.js +9 -0
  364. package/dist/component/lua-Bj2G8q-Z.js +11 -0
  365. package/dist/component/lua-CyXCKT0u.js +11 -0
  366. package/dist/component/luau-B8fyn01D.js +9 -0
  367. package/dist/component/luau-C5q2C4N6.js +9 -0
  368. package/dist/component/make-DOTJ8IeI.js +9 -0
  369. package/dist/component/make-DTiRnfNf.js +9 -0
  370. package/dist/component/markdown-D3u32LKS.js +9 -0
  371. package/dist/component/markdown-DHm1k_6p.js +9 -0
  372. package/dist/component/marko-CUgdvzuR.js +17 -0
  373. package/dist/component/marko-SwZmWzIv.js +17 -0
  374. package/dist/component/material-theme-BIfRQKI0.js +7 -0
  375. package/dist/component/material-theme-CxS7GniW.js +7 -0
  376. package/dist/component/material-theme-darker-DKP5DIOi.js +7 -0
  377. package/dist/component/material-theme-darker-DkNB3xjL.js +7 -0
  378. package/dist/component/material-theme-lighter-3I4JYnlq.js +7 -0
  379. package/dist/component/material-theme-lighter-D5xivCfx.js +7 -0
  380. package/dist/component/material-theme-ocean-B31yuEXO.js +7 -0
  381. package/dist/component/material-theme-ocean-rw0kJPZg.js +7 -0
  382. package/dist/component/material-theme-palenight-BfunK0Uo.js +7 -0
  383. package/dist/component/material-theme-palenight-COTbh91p.js +7 -0
  384. package/dist/component/matlab-CkKSQcnX.js +9 -0
  385. package/dist/component/matlab-DCF6d5YL.js +9 -0
  386. package/dist/component/mdc-D92XwdT9.js +15 -0
  387. package/dist/component/mdc-gb_v49HI.js +15 -0
  388. package/dist/component/mdx-C6kH9TSz.js +9 -0
  389. package/dist/component/mdx-Dqb5H0t-.js +9 -0
  390. package/dist/component/mermaid-0bkYzXfL.js +9 -0
  391. package/dist/component/mermaid-GHXKKRXX-C5Y3BZXR.js +107122 -0
  392. package/dist/component/mermaid-N7-yWHiu.js +9 -0
  393. package/dist/component/min-dark-CqEfelDe.js +7 -0
  394. package/dist/component/min-dark-FAglrjWz.js +7 -0
  395. package/dist/component/min-light-BmdYN58_.js +7 -0
  396. package/dist/component/min-light-CcJCxfWw.js +7 -0
  397. package/dist/component/mindmap-definition-RKZ34NQL-CnFpVFpl.js +833 -0
  398. package/dist/component/mipsasm-BYNReuUT.js +9 -0
  399. package/dist/component/mipsasm-CKzkMNWr.js +9 -0
  400. package/dist/component/mojo-0URGVph7.js +9 -0
  401. package/dist/component/mojo-C563AncR.js +9 -0
  402. package/dist/component/monokai-D3_c3OUm.js +7 -0
  403. package/dist/component/monokai-ugSJFofr.js +7 -0
  404. package/dist/component/moonbit-BkJk2kyS.js +9 -0
  405. package/dist/component/moonbit-DlIX78rk.js +9 -0
  406. package/dist/component/move-BQAHOJb2.js +9 -0
  407. package/dist/component/move-eiW4QYDW.js +9 -0
  408. package/dist/component/narrat-2oVindvn.js +9 -0
  409. package/dist/component/narrat-Dc4cTFeW.js +9 -0
  410. package/dist/component/nextflow-B4caLl5A.js +11 -0
  411. package/dist/component/nextflow-Bk0ryO1R.js +11 -0
  412. package/dist/component/nextflow-groovy-BnXf2WiC.js +9 -0
  413. package/dist/component/nextflow-groovy-DIMIAEOy.js +9 -0
  414. package/dist/component/nginx-BaGEfT9r.js +11 -0
  415. package/dist/component/nginx-Dprlne5J.js +11 -0
  416. package/dist/component/night-owl-B6L5FL5v.js +7 -0
  417. package/dist/component/night-owl-CB_IXuNH.js +7 -0
  418. package/dist/component/night-owl-light-BZxeyl5X.js +7 -0
  419. package/dist/component/night-owl-light-CoPr05P4.js +7 -0
  420. package/dist/component/nim-BKvvFCe_.js +23 -0
  421. package/dist/component/nim-CQZqLxeE.js +23 -0
  422. package/dist/component/nix-Cp8a0vy5.js +12 -0
  423. package/dist/component/nix-DEY1zukk.js +12 -0
  424. package/dist/component/nord-D3PAEvHH.js +7 -0
  425. package/dist/component/nord-DPPgRakM.js +7 -0
  426. package/dist/component/nushell-BdsblUId.js +9 -0
  427. package/dist/component/nushell-DUUbmBaO.js +9 -0
  428. package/dist/component/objective-c-CNN3tl1v.js +9 -0
  429. package/dist/component/objective-c-D_6I2dsG.js +9 -0
  430. package/dist/component/objective-cpp-BjicYcS7.js +9 -0
  431. package/dist/component/objective-cpp-z4LTaUcg.js +9 -0
  432. package/dist/component/ocaml-BnD9haV8.js +9 -0
  433. package/dist/component/ocaml-DZseEUty.js +9 -0
  434. package/dist/component/odin-CnsCKboc.js +9 -0
  435. package/dist/component/odin-P2WSXO4H.js +9 -0
  436. package/dist/component/one-dark-pro-C_eaQ16k.js +7 -0
  437. package/dist/component/one-dark-pro-OimEv0Ou.js +7 -0
  438. package/dist/component/one-light-B0ti6b9S.js +7 -0
  439. package/dist/component/one-light-j3UfPQB3.js +7 -0
  440. package/dist/component/openscad-2vaKslxR.js +9 -0
  441. package/dist/component/openscad-jE6oRbDv.js +9 -0
  442. package/dist/component/ordinal-D0x7izaa.js +64 -0
  443. package/dist/component/pascal-8jl8irAj.js +9 -0
  444. package/dist/component/pascal-d7SASCGO.js +9 -0
  445. package/dist/component/perl-DHC1BZ_5.js +19 -0
  446. package/dist/component/perl-DVm7Pq-D.js +19 -0
  447. package/dist/component/php-BF_l-EgM.js +21 -0
  448. package/dist/component/php-BtpW2-DO.js +21 -0
  449. package/dist/component/pieDiagram-4H26LBE5-u-blLkni.js +166 -0
  450. package/dist/component/pkl-CoBnC_8G.js +9 -0
  451. package/dist/component/pkl-DZdA2Trc.js +9 -0
  452. package/dist/component/plastic-3IjBbwNP.js +7 -0
  453. package/dist/component/plastic-CixB-AlW.js +7 -0
  454. package/dist/component/plsql-Cv-ZxhCL.js +9 -0
  455. package/dist/component/plsql-CzeGyK0m.js +9 -0
  456. package/dist/component/po-eb_Amfj2.js +9 -0
  457. package/dist/component/po-moSB12fi.js +9 -0
  458. package/dist/component/poimandres-C03Jy3KZ.js +7 -0
  459. package/dist/component/poimandres-CKZ3f48N.js +7 -0
  460. package/dist/component/polar-BKFAKBSA.js +9 -0
  461. package/dist/component/polar-CsPCUbKt.js +9 -0
  462. package/dist/component/postcss-CytNqPC0.js +9 -0
  463. package/dist/component/postcss-D3_LY2LH.js +9 -0
  464. package/dist/component/powerquery-CpTndMW_.js +9 -0
  465. package/dist/component/powerquery-f-cemdrG.js +9 -0
  466. package/dist/component/powershell-B-JkstDq.js +9 -0
  467. package/dist/component/powershell-BkDB3ZO9.js +9 -0
  468. package/dist/component/prisma-B4mlcaEB.js +9 -0
  469. package/dist/component/prisma-BX88wNNq.js +9 -0
  470. package/dist/component/prolog-ZYcjPjsY.js +9 -0
  471. package/dist/component/prolog-ftPRGVaT.js +9 -0
  472. package/dist/component/proto-B5SG7zCc.js +9 -0
  473. package/dist/component/proto-DpTcjJFH.js +9 -0
  474. package/dist/component/pug-BziTjzcZ.js +15 -0
  475. package/dist/component/pug-XUdLuJ2s.js +15 -0
  476. package/dist/component/puppet-BeyD5DhV.js +9 -0
  477. package/dist/component/puppet-DjFvC8zy.js +9 -0
  478. package/dist/component/purescript-BBRU0YyZ.js +9 -0
  479. package/dist/component/purescript-Bf3WPYAV.js +9 -0
  480. package/dist/component/python-C7yusFoO.js +9 -0
  481. package/dist/component/python-CuNbg5wx.js +9 -0
  482. package/dist/component/qml-Cu9RjXOs.js +11 -0
  483. package/dist/component/qml-Z-uvElxQ.js +11 -0
  484. package/dist/component/qmldir-BHp2usxt.js +9 -0
  485. package/dist/component/qmldir-C6P--W6X.js +9 -0
  486. package/dist/component/qss-CgcBaeYL.js +9 -0
  487. package/dist/component/qss-iWzt-Nzy.js +9 -0
  488. package/dist/component/quadrantDiagram-W4KKPZXB-Bpq-EoMM.js +1033 -0
  489. package/dist/component/r-8lH98zbN.js +9 -0
  490. package/dist/component/r-CyFkAlMF.js +9 -0
  491. package/dist/component/racket-DaWPCRlQ.js +9 -0
  492. package/dist/component/racket-effgGH8q.js +9 -0
  493. package/dist/component/raku-DXM7wT4g.js +9 -0
  494. package/dist/component/raku-GZVvT-nH.js +9 -0
  495. package/dist/component/razor-CYq4jbLW.js +13 -0
  496. package/dist/component/razor-DQFDiXM1.js +13 -0
  497. package/dist/component/red-B9TgEgRC.js +7 -0
  498. package/dist/component/red-BNC90Lxb.js +7 -0
  499. package/dist/component/reg-C62uOG3A.js +9 -0
  500. package/dist/component/reg-CQgRgzkw.js +9 -0
  501. package/dist/component/regexp-D8jeZrvm.js +9 -0
  502. package/dist/component/regexp-UNvxOND4.js +9 -0
  503. package/dist/component/rel-BRyuNjQD.js +9 -0
  504. package/dist/component/rel-Cyzm_Cno.js +9 -0
  505. package/dist/component/requirementDiagram-4Y6WPE33-B8V7mLRY.js +888 -0
  506. package/dist/component/riscv-BHdC-Wfh.js +9 -0
  507. package/dist/component/riscv-BZ9l50bA.js +9 -0
  508. package/dist/component/ron--0kZyCV0.js +9 -0
  509. package/dist/component/ron-CJx-eqt3.js +9 -0
  510. package/dist/component/rose-pine-XHcBRH-D.js +7 -0
  511. package/dist/component/rose-pine-dawn-Bz77Igqs.js +7 -0
  512. package/dist/component/rose-pine-dawn-RL42yTas.js +7 -0
  513. package/dist/component/rose-pine-ksWn8nuO.js +7 -0
  514. package/dist/component/rose-pine-moon-BtSW__9n.js +7 -0
  515. package/dist/component/rose-pine-moon-QJS0aJgR.js +7 -0
  516. package/dist/component/rosmsg-BPUqDEe2.js +9 -0
  517. package/dist/component/rosmsg-CM65NRE0.js +9 -0
  518. package/dist/component/rst-CqXkCW5F.js +25 -0
  519. package/dist/component/rst-DQATMrFw.js +25 -0
  520. package/dist/component/ruby-B09XKrLg.js +33 -0
  521. package/dist/component/ruby-BJtrPIFQ.js +33 -0
  522. package/dist/component/rust-3aEF0O7t.js +9 -0
  523. package/dist/component/rust-XKBJng8W.js +9 -0
  524. package/dist/component/sankeyDiagram-5OEKKPKP-C-TbMbsr.js +862 -0
  525. package/dist/component/sas-COkwgxe_.js +11 -0
  526. package/dist/component/sas-DDLczODn.js +11 -0
  527. package/dist/component/sass-BIT8Mghp.js +9 -0
  528. package/dist/component/sass-CbXM5obh.js +9 -0
  529. package/dist/component/scala-CWyCExvl.js +9 -0
  530. package/dist/component/scala-DmAjX8OM.js +9 -0
  531. package/dist/component/scheme-BLXiZF3M.js +9 -0
  532. package/dist/component/scheme-ERi8vGmO.js +9 -0
  533. package/dist/component/scss-BX4eQ0c3.js +11 -0
  534. package/dist/component/scss-Biq-xkEY.js +11 -0
  535. package/dist/component/sdbl-B4TEJKGi.js +9 -0
  536. package/dist/component/sdbl-tnLxE-ur.js +9 -0
  537. package/dist/component/sequenceDiagram-3UESZ5HK-UHhixLbD.js +2897 -0
  538. package/dist/component/shaderlab-DMYXUCqo.js +11 -0
  539. package/dist/component/shaderlab-DqcfJRqk.js +11 -0
  540. package/dist/component/shellscript-B533aeAq.js +9 -0
  541. package/dist/component/shellscript-B8M9FK6Q.js +9 -0
  542. package/dist/component/shellsession-CvrLJEnp.js +11 -0
  543. package/dist/component/shellsession-Cy0cdv3D.js +11 -0
  544. package/dist/component/slack-dark-9TBiD8mL.js +7 -0
  545. package/dist/component/slack-dark-DN-r2Kgp.js +7 -0
  546. package/dist/component/slack-ochin-9pgdwMdj.js +7 -0
  547. package/dist/component/slack-ochin-DoqPjNJD.js +7 -0
  548. package/dist/component/smalltalk-Bbm0pJzJ.js +9 -0
  549. package/dist/component/smalltalk-BgwWJ0LQ.js +9 -0
  550. package/dist/component/snazzy-light-CRiZMLw1.js +7 -0
  551. package/dist/component/snazzy-light-D2QxPpzI.js +7 -0
  552. package/dist/component/solarized-dark-CpiZBbF-.js +7 -0
  553. package/dist/component/solarized-dark-DrZ258Kz.js +7 -0
  554. package/dist/component/solarized-light-940Q0ET-.js +7 -0
  555. package/dist/component/solarized-light-CZjXGjG0.js +7 -0
  556. package/dist/component/solidity-BiVIJAyo.js +9 -0
  557. package/dist/component/solidity-DsGO0zKs.js +9 -0
  558. package/dist/component/soy-B8d9iNux.js +11 -0
  559. package/dist/component/soy-CrWxFFIL.js +11 -0
  560. package/dist/component/sparql-C9-sbVPb.js +11 -0
  561. package/dist/component/sparql-D4y9QLpW.js +11 -0
  562. package/dist/component/splunk-8ZGt17T1.js +9 -0
  563. package/dist/component/splunk-CoLR9YoS.js +9 -0
  564. package/dist/component/sql-kcHmCqqm.js +9 -0
  565. package/dist/component/sql-vg8sPfqQ.js +9 -0
  566. package/dist/component/ssh-config-CaXR5cZI.js +9 -0
  567. package/dist/component/ssh-config-DIPB8nWv.js +9 -0
  568. package/dist/component/stata-DTwlvRC-.js +11 -0
  569. package/dist/component/stata-wXDnjjLv.js +11 -0
  570. package/dist/component/stateDiagram-AJRCARHV-DBGVr_mf.js +266 -0
  571. package/dist/component/stateDiagram-v2-BHNVJYJU-BasSd11t.js +19 -0
  572. package/dist/component/stylus-BVi_fesw.js +9 -0
  573. package/dist/component/stylus-WAexVQ6f.js +9 -0
  574. package/dist/component/surrealql-BMPoOZ16.js +11 -0
  575. package/dist/component/surrealql-CoR3cmJl.js +11 -0
  576. package/dist/component/svelte-BXoajfvD.js +17 -0
  577. package/dist/component/svelte-CSNEH6tH.js +17 -0
  578. package/dist/component/swift-C1L5BrdG.js +9 -0
  579. package/dist/component/swift-DvqRLmJa.js +9 -0
  580. package/dist/component/synthwave-84-CjU0tbaA.js +7 -0
  581. package/dist/component/synthwave-84-D0HCetP1.js +7 -0
  582. package/dist/component/system-verilog-BlCQhLvC.js +9 -0
  583. package/dist/component/system-verilog-NfYSOS9X.js +9 -0
  584. package/dist/component/systemd-C-VULMOV.js +9 -0
  585. package/dist/component/systemd-DPQeba_a.js +9 -0
  586. package/dist/component/talonscript-0iKTliWA.js +9 -0
  587. package/dist/component/talonscript-Dcq0YJ69.js +9 -0
  588. package/dist/component/tasl-CBnjmw_u.js +9 -0
  589. package/dist/component/tasl-DPTcRLbU.js +9 -0
  590. package/dist/component/tcl-B8YZq0wg.js +9 -0
  591. package/dist/component/tcl-D3IfUIUn.js +9 -0
  592. package/dist/component/templ-BWrZoBOl.js +15 -0
  593. package/dist/component/templ-CNKcDxHw.js +15 -0
  594. package/dist/component/terraform-BBGJbbOd.js +9 -0
  595. package/dist/component/terraform-CpHfbII0.js +9 -0
  596. package/dist/component/tex-Do7cxq2n.js +11 -0
  597. package/dist/component/tex-DotwMf2L.js +11 -0
  598. package/dist/component/timeline-definition-PNZ67QCA-BTzUH3cf.js +1058 -0
  599. package/dist/component/tokyo-night-50KL4qXP.js +7 -0
  600. package/dist/component/tokyo-night-CFdInRHE.js +7 -0
  601. package/dist/component/toml-BgG8u2uy.js +9 -0
  602. package/dist/component/toml-Cdrl1XDU.js +9 -0
  603. package/dist/component/ts-tags-CZ_-X2Or.js +44 -0
  604. package/dist/component/ts-tags-JQGxDVZd.js +44 -0
  605. package/dist/component/tsv-CH-Gpfzn.js +9 -0
  606. package/dist/component/tsv-DXq61Z_y.js +9 -0
  607. package/dist/component/tsx-B6WYiHjH.js +9 -0
  608. package/dist/component/tsx-BI2vzHzF.js +9 -0
  609. package/dist/component/turtle-BLh3UAZ1.js +9 -0
  610. package/dist/component/turtle-DuS0HQ9p.js +9 -0
  611. package/dist/component/twig-BA9yPOhQ.js +21 -0
  612. package/dist/component/twig-F0j_PXgJ.js +21 -0
  613. package/dist/component/typescript-Bt_Em9TU.js +9 -0
  614. package/dist/component/typescript-BxspRrVw.js +9 -0
  615. package/dist/component/typespec-CBQfkfKg.js +9 -0
  616. package/dist/component/typespec-ChsG4DJP.js +9 -0
  617. package/dist/component/typst-CLNdxZpy.js +9 -0
  618. package/dist/component/typst-rCvFF3Ml.js +9 -0
  619. package/dist/component/v-Bc8b7HcA.js +9 -0
  620. package/dist/component/v-DkBTCxRz.js +9 -0
  621. package/dist/component/vala-Bf6duLsN.js +9 -0
  622. package/dist/component/vala-D3NFAJvZ.js +9 -0
  623. package/dist/component/vb-CbCKaE0V.js +9 -0
  624. package/dist/component/vb-DoG_86dU.js +9 -0
  625. package/dist/component/vennDiagram-CIIHVFJN-CVh3weJ2.js +1560 -0
  626. package/dist/component/verilog-BsnhA3AJ.js +9 -0
  627. package/dist/component/verilog-nZodAh2g.js +9 -0
  628. package/dist/component/vesper-C9xEuBGK.js +7 -0
  629. package/dist/component/vesper-DGjNIaCs.js +7 -0
  630. package/dist/component/vhdl-D19XVLHt.js +9 -0
  631. package/dist/component/vhdl-mXcQB2Fg.js +9 -0
  632. package/dist/component/viml-8k_5DKNK.js +9 -0
  633. package/dist/component/viml-COJbZm0U.js +9 -0
  634. package/dist/component/vitesse-black-Bct4R3m4.js +7 -0
  635. package/dist/component/vitesse-black-heVxAgDf.js +7 -0
  636. package/dist/component/vitesse-dark-DdWh6SFL.js +7 -0
  637. package/dist/component/vitesse-dark-DiXBkaTo.js +7 -0
  638. package/dist/component/vitesse-light-CerMU32A.js +7 -0
  639. package/dist/component/vitesse-light-Eee3KZAP.js +7 -0
  640. package/dist/component/vue-DjB6jmJ7.js +34 -0
  641. package/dist/component/vue-YqIdEku3.js +34 -0
  642. package/dist/component/vue-html-BkvRG1qx.js +11 -0
  643. package/dist/component/vue-html-CXFz0iVx.js +11 -0
  644. package/dist/component/vue-vine-CFD4nsF4.js +21 -0
  645. package/dist/component/vue-vine-lE-jUeB6.js +21 -0
  646. package/dist/component/vyper-DTCkLS2f.js +9 -0
  647. package/dist/component/vyper-_vSvOdCD.js +9 -0
  648. package/dist/component/wardley-L42UT6IY-HA1eSIS_.js +23141 -0
  649. package/dist/component/wardleyDiagram-YWT4CUSO-Uu5KXQum.js +681 -0
  650. package/dist/component/wasm-BEUtLzBq.js +10 -0
  651. package/dist/component/wasm-Bw9k5bmy.js +9 -0
  652. package/dist/component/wasm-NiufRxKC.js +9 -0
  653. package/dist/component/wasm-rA9i46L9.js +10 -0
  654. package/dist/component/wenyan-BAnK6VvJ.js +9 -0
  655. package/dist/component/wenyan-EBJbIPqf.js +9 -0
  656. package/dist/component/wgsl-B9MSpOv3.js +9 -0
  657. package/dist/component/wgsl-Dlg8zdV4.js +9 -0
  658. package/dist/component/wikitext-C8AvgBS7.js +9 -0
  659. package/dist/component/wikitext-sNd9wc1e.js +9 -0
  660. package/dist/component/wit-BM4EHoLb.js +9 -0
  661. package/dist/component/wit-BUXWAgVD.js +9 -0
  662. package/dist/component/wolfram-Ba-Qm5eW.js +9 -0
  663. package/dist/component/wolfram-CKRVXwGa.js +9 -0
  664. package/dist/component/xml-CE4MTCb-.js +11 -0
  665. package/dist/component/xml-DXvCmeFI.js +11 -0
  666. package/dist/component/xsl-BrFD-9o5.js +11 -0
  667. package/dist/component/xsl-CHBQO4kd.js +11 -0
  668. package/dist/component/xychartDiagram-2RQKCTM6-IkxwUbCF.js +1375 -0
  669. package/dist/component/yaml-CF4mYNnF.js +9 -0
  670. package/dist/component/yaml-XzfbPk1C.js +9 -0
  671. package/dist/component/zenscript-C0pvNsdh.js +9 -0
  672. package/dist/component/zenscript-xkkNgCqg.js +9 -0
  673. package/dist/component/zig-Bz6GLPWH.js +9 -0
  674. package/dist/component/zig-oixaTxav.js +9 -0
  675. package/dist/components/ai-elements/attachments.d.ts +54 -0
  676. package/dist/components/ai-elements/code-block.d.ts +46 -0
  677. package/dist/components/ai-elements/conversation.d.ts +23 -0
  678. package/dist/components/ai-elements/copy-button.d.ts +6 -0
  679. package/dist/components/ai-elements/file-tree.d.ts +26 -0
  680. package/dist/components/ai-elements/link-safety-modal.d.ts +8 -0
  681. package/dist/components/ai-elements/message.d.ts +38 -0
  682. package/dist/components/ai-elements/plan.d.ts +25 -0
  683. package/dist/components/ai-elements/prompt-input.d.ts +158 -0
  684. package/dist/components/ai-elements/reasoning.d.ts +26 -0
  685. package/dist/components/ai-elements/shell-highlight.d.ts +3 -0
  686. package/dist/components/ai-elements/shimmer.d.ts +9 -0
  687. package/dist/components/ai-elements/suggestion.d.ts +10 -0
  688. package/dist/components/ai-elements/task.d.ts +14 -0
  689. package/dist/components/ai-elements/terminal-task.d.ts +5 -0
  690. package/dist/components/ai-elements/tool.d.ts +31 -0
  691. package/dist/components/embed/AgentGrantCard.d.ts +25 -0
  692. package/dist/components/embed/AtMentionMenu.d.ts +13 -0
  693. package/dist/components/embed/BelongMark.d.ts +4 -0
  694. package/dist/components/embed/BrandMark.d.ts +11 -0
  695. package/dist/components/embed/CapabilityHints.d.ts +1 -0
  696. package/dist/components/embed/ComposerMenu.d.ts +36 -0
  697. package/dist/components/embed/CsvTable.d.ts +10 -0
  698. package/dist/components/embed/EmbedAvatar.d.ts +35 -0
  699. package/dist/components/embed/EmbedComposer.d.ts +31 -0
  700. package/dist/components/embed/EmbedConversation.d.ts +31 -0
  701. package/dist/components/embed/EmbedFiles.d.ts +28 -0
  702. package/dist/components/embed/EmbedHeader.d.ts +11 -0
  703. package/dist/components/embed/EmbedLogin.d.ts +11 -0
  704. package/dist/components/embed/EmbedRail.d.ts +49 -0
  705. package/dist/components/embed/EmbedSessions.d.ts +23 -0
  706. package/dist/components/embed/FilePreview.d.ts +12 -0
  707. package/dist/components/embed/FilePreviewDialog.d.ts +19 -0
  708. package/dist/components/embed/MentionInput.d.ts +23 -0
  709. package/dist/components/embed/MentionPill.d.ts +25 -0
  710. package/dist/components/embed/OnboardingOverlay.d.ts +21 -0
  711. package/dist/components/embed/OnboardingTour.d.ts +24 -0
  712. package/dist/components/embed/OnboardingWelcome.d.ts +23 -0
  713. package/dist/components/embed/PlanCue.d.ts +9 -0
  714. package/dist/components/embed/PlanPanel.d.ts +13 -0
  715. package/dist/components/embed/PlanView.d.ts +16 -0
  716. package/dist/components/embed/PoweredByBelong.d.ts +7 -0
  717. package/dist/components/embed/PreviewContent.d.ts +26 -0
  718. package/dist/components/embed/PreviewPanel.d.ts +17 -0
  719. package/dist/components/embed/ProgressRing.d.ts +13 -0
  720. package/dist/components/embed/SlashCommandMenu.d.ts +13 -0
  721. package/dist/components/embed/UploadedFiles.d.ts +9 -0
  722. package/dist/components/embed/UsageMeter.d.ts +9 -0
  723. package/dist/components/embed/WelcomeIntro.d.ts +10 -0
  724. package/dist/components/embed/WorkspaceTree.d.ts +22 -0
  725. package/dist/components/embed/__plan-test-utils__.d.ts +13 -0
  726. package/dist/components/embed/dev-runtime-bar.d.ts +21 -0
  727. package/dist/components/embed/embed-composer.fixtures.d.ts +3 -0
  728. package/dist/components/embed/embed-rail.fixtures.d.ts +3 -0
  729. package/dist/components/embed/file-preview-kind.d.ts +7 -0
  730. package/dist/components/embed/onboarding-story-dock.d.ts +20 -0
  731. package/dist/components/embed/onboarding.fixtures.d.ts +9 -0
  732. package/dist/components/embed/parse-csv.d.ts +10 -0
  733. package/dist/components/embed/preview-content-kind.d.ts +15 -0
  734. package/dist/components/embed/use-panel-resize.d.ts +4 -0
  735. package/dist/components/embed/use-preview-bytes.d.ts +39 -0
  736. package/dist/components/feedback/feedback-metadata.d.ts +37 -0
  737. package/dist/components/feedback/message-feedback.d.ts +9 -0
  738. package/dist/components/ui/accordion.d.ts +7 -0
  739. package/dist/components/ui/alert.d.ts +9 -0
  740. package/dist/components/ui/avatar.d.ts +11 -0
  741. package/dist/components/ui/badge.d.ts +9 -0
  742. package/dist/components/ui/button-group.d.ts +11 -0
  743. package/dist/components/ui/button.d.ts +10 -0
  744. package/dist/components/ui/card.d.ts +9 -0
  745. package/dist/components/ui/carousel.d.ts +19 -0
  746. package/dist/components/ui/checkbox.d.ts +4 -0
  747. package/dist/components/ui/collapsible.d.ts +5 -0
  748. package/dist/components/ui/command.d.ts +18 -0
  749. package/dist/components/ui/dialog.d.ts +17 -0
  750. package/dist/components/ui/dropdown-menu.d.ts +25 -0
  751. package/dist/components/ui/hover-card.d.ts +6 -0
  752. package/dist/components/ui/input-group.d.ts +16 -0
  753. package/dist/components/ui/input.d.ts +3 -0
  754. package/dist/components/ui/popover.d.ts +10 -0
  755. package/dist/components/ui/progress.d.ts +4 -0
  756. package/dist/components/ui/radio-group.d.ts +5 -0
  757. package/dist/components/ui/scroll-area.d.ts +5 -0
  758. package/dist/components/ui/select.d.ts +15 -0
  759. package/dist/components/ui/separator.d.ts +4 -0
  760. package/dist/components/ui/spinner.d.ts +2 -0
  761. package/dist/components/ui/switch.d.ts +6 -0
  762. package/dist/components/ui/tabs.d.ts +11 -0
  763. package/dist/components/ui/textarea.d.ts +3 -0
  764. package/dist/components/ui/tooltip.d.ts +7 -0
  765. package/dist/dev-main.d.ts +0 -0
  766. package/dist/embed/agent-grant-refresh.d.ts +37 -0
  767. package/dist/embed/at-mentions.d.ts +80 -0
  768. package/dist/embed/auth0-refresh.d.ts +78 -0
  769. package/dist/embed/auto-embed.d.ts +19 -0
  770. package/dist/embed/bootstrap.d.ts +10 -0
  771. package/dist/embed/brand-marks.d.ts +11 -0
  772. package/dist/embed/build-info.d.ts +30 -0
  773. package/dist/embed/build-version.d.ts +28 -0
  774. package/dist/embed/chat-mode.d.ts +46 -0
  775. package/dist/embed/composer-focus.d.ts +14 -0
  776. package/dist/embed/copy.d.ts +84 -0
  777. package/dist/embed/custom-css.d.ts +2 -0
  778. package/dist/embed/debug-overrides.d.ts +11 -0
  779. package/dist/embed/dev-mode.d.ts +56 -0
  780. package/dist/embed/dock-layout.d.ts +30 -0
  781. package/dist/embed/dock-state.d.ts +32 -0
  782. package/dist/embed/download-url.d.ts +9 -0
  783. package/dist/embed/file-type-icon.d.ts +29 -0
  784. package/dist/embed/format-bytes.d.ts +2 -0
  785. package/dist/embed/global.d.ts +79 -0
  786. package/dist/embed/locale.d.ts +18 -0
  787. package/dist/embed/logo.d.ts +1 -0
  788. package/dist/embed/mic-press.d.ts +27 -0
  789. package/dist/embed/onboarding-prefs.d.ts +52 -0
  790. package/dist/embed/onboarding-steps.d.ts +27 -0
  791. package/dist/embed/onboarding-store.d.ts +39 -0
  792. package/dist/embed/plan-auto-open.d.ts +8 -0
  793. package/dist/embed/plan-decision.d.ts +10 -0
  794. package/dist/embed/plan-intent.d.ts +17 -0
  795. package/dist/embed/portal-container.d.ts +23 -0
  796. package/dist/embed/presets.d.ts +29 -0
  797. package/dist/embed/session-record.d.ts +16 -0
  798. package/dist/embed/shadow-mount.d.ts +37 -0
  799. package/dist/embed/slash-commands.d.ts +49 -0
  800. package/dist/embed/theme.d.ts +40 -0
  801. package/dist/embed/universe-origin.d.ts +24 -0
  802. package/dist/embed/use-workspace-file-download.d.ts +16 -0
  803. package/dist/embed/voice/audio-forwarder.worklet.d.ts +22 -0
  804. package/dist/embed/voice/audio-utils.d.ts +38 -0
  805. package/dist/embed/voice/deepgram-stt.d.ts +69 -0
  806. package/dist/embed/voice/mic-capture.d.ts +34 -0
  807. package/dist/embed/voice/sentence-split.d.ts +11 -0
  808. package/dist/embed/voice/voice-http.d.ts +8 -0
  809. package/dist/embed/voice/voice-token.d.ts +40 -0
  810. package/dist/embed/voice-bus.d.ts +75 -0
  811. package/dist/embed/voice-config.d.ts +52 -0
  812. package/dist/embed/voice-fillers.d.ts +2 -0
  813. package/dist/embed/voice-prefs.d.ts +55 -0
  814. package/dist/embed/voice-tts.d.ts +101 -0
  815. package/dist/embed/workspace-paths.d.ts +9 -0
  816. package/dist/infrastructure/telemetry/session-span-processor.d.ts +11 -0
  817. package/dist/infrastructure/telemetry/web-sdk.d.ts +29 -0
  818. package/dist/lib/belong.d.ts +12 -0
  819. package/dist/lib/tab-leadership.d.ts +46 -0
  820. package/dist/lib/use-tab-leadership.d.ts +8 -0
  821. package/dist/lib/utils.d.ts +9 -0
  822. package/dist/public-api.d.ts +3 -0
  823. package/dist/routes/chat-attachment-chip.d.ts +9 -0
  824. package/dist/routes/chat.d.ts +29 -0
  825. package/dist/routes/documents.d.ts +16 -0
  826. package/dist/routes/files.d.ts +14 -0
  827. package/dist/routes/sample-artifact.d.ts +7 -0
  828. package/dist/routes/sessions.d.ts +4 -0
  829. package/dist/routes/static-chat-fixture.d.ts +26 -0
  830. package/dist/stream/ai-sdk-part-renderers.d.ts +66 -0
  831. package/dist/stream/belong-chat-transport.d.ts +679 -0
  832. package/dist/stream/belong-data-parts.d.ts +207 -0
  833. package/dist/stream/chat-upload.d.ts +35 -0
  834. package/dist/stream/plan-panel-store.d.ts +11 -0
  835. package/dist/stream/plan-progress-store.d.ts +4 -0
  836. package/dist/stream/plan-progress.d.ts +25 -0
  837. package/dist/stream/plan-store.d.ts +16 -0
  838. package/dist/stream/preview-panel-store.d.ts +50 -0
  839. package/dist/stream/sandbox-output.d.ts +32 -0
  840. package/dist/stream/select-latest-plan.d.ts +17 -0
  841. package/dist/stream/select-session-usage.d.ts +23 -0
  842. package/dist/stream/session-title.d.ts +15 -0
  843. package/dist/stream/stream-state-store.d.ts +67 -0
  844. package/dist/stream/tool-io.d.ts +7 -0
  845. package/dist/test/render.d.ts +23 -0
  846. package/dist/test-setup.d.ts +1 -0
  847. package/dist/types/public.d.ts +189 -0
  848. package/package.json +38 -0
@@ -0,0 +1,9 @@
1
+ globalThis.process = globalThis.process || { env: {} };
2
+ globalThis.global = globalThis.global || globalThis;
3
+ const e = Object.freeze(JSON.parse(`{"displayName":"Common Lisp","fileTypes":["lisp","lsp","l","cl","asd","asdf"],"foldingStartMarker":"\\\\(","foldingStopMarker":"\\\\)","name":"common-lisp","patterns":[{"include":"#comment"},{"include":"#block-comment"},{"include":"#string"},{"include":"#escape"},{"include":"#constant"},{"include":"#lambda-list"},{"include":"#function"},{"include":"#style-guide"},{"include":"#def-name"},{"include":"#macro"},{"include":"#symbol"},{"include":"#special-operator"},{"include":"#declaration"},{"include":"#type"},{"include":"#class"},{"include":"#condition-type"},{"include":"#package"},{"include":"#variable"},{"include":"#punctuation"}],"repository":{"block-comment":{"begin":"#\\\\|","contentName":"comment.block.commonlisp","end":"\\\\|#","name":"comment","patterns":[{"include":"#block-comment","name":"comment"}]},"class":{"match":"(?i)(?<=^|[(\\\\s])(?:two-way-stream|synonym-stream|symbol|structure-object|structure-class|string-stream|stream|standard-object|standard-method|standard-generic-function|standard-class|sequence|restart|real|readtable|ratio|random-state|package|number|method|integer|hash-table|generic-function|file-stream|echo-stream|concatenated-stream|class|built-in-class|broadcast-stream|bit-vector|array)(?=([()\\\\s]))","name":"support.class.commonlisp"},"comment":{"begin":"(^[\\\\t ]+)?(?=;)","beginCaptures":{"1":{"name":"punctuation.whitespace.comment.leading.commonlisp"}},"end":"(?!\\\\G)","patterns":[{"begin":";","beginCaptures":{"0":{"name":"punctuation.definition.comment.commonlisp"}},"end":"\\\\n","name":"comment.line.semicolon.commonlisp"}]},"condition-type":{"match":"(?i)(?<=^|[(\\\\s])(?:warning|undefined-function|unbound-variable|unbound-slot|type-error|style-warning|stream-error|storage-condition|simple-warning|simple-type-error|simple-error|simple-condition|serious-condition|reader-error|program-error|print-not-readable|parse-error|package-error|floating-point-underflow|floating-point-overflow|floating-point-invalid-operation|floating-point-inexact|file-error|error|end-of-file|division-by-zero|control-error|condition|cell-error|arithmetic-error)(?=([()\\\\s]))","name":"support.type.exception.commonlisp"},"constant":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(?:t|single-float-negative-epsilon|single-float-epsilon|short-float-negative-epsilon|short-float-epsilon|pi|nil|multiple-values-limit|most-positive-single-float|most-positive-short-float|most-positive-long-float|most-positive-fixnum|most-positive-double-float|most-negative-single-float|most-negative-short-float|most-negative-long-float|most-negative-fixnum|most-negative-double-float|long-float-negative-epsilon|long-float-epsilon|least-positive-single-float|least-positive-short-float|least-positive-normalized-single-float|least-positive-normalized-short-float|least-positive-normalized-long-float|least-positive-normalized-double-float|least-positive-long-float|least-positive-double-float|least-negative-single-float|least-negative-short-float|least-negative-normalized-single-float|least-negative-normalized-short-float|least-negative-normalized-long-float|least-negative-normalized-double-float|least-negative-long-float|least-negative-double-float|lambda-parameters-limit|lambda-list-keywords|internal-time-units-per-second|double-float-negative-epsilon|double-float-epsilon|char-code-limit|call-arguments-limit|boole-xor|boole-set|boole-orc2|boole-orc1|boole-nor|boole-nand|boole-ior|boole-eqv|boole-clr|boole-c2|boole-c1|boole-andc2|boole-andc1|boole-and|boole-2|boole-1|array-total-size-limit|array-rank-limit|array-dimension-limit)(?=([()\\\\s]))","name":"constant.language.commonlisp"},{"match":"(?<=^|[(\\\\s]|,@|,\\\\.?)([-+]?[0-9]+(?:/[0-9]+)*|[-+]?[0-9]*\\\\.?[0-9]+([Ee][-+]?[0-9]+)?|(#[Bb])[-+/01]+|(#[Oo])[-+/-7]+|(#[Xx])[-+/\\\\h]+|(#[0-9]+[Rr]?)[-+/-9A-Za-z]+)(?=([)\\\\s]))","name":"constant.numeric.commonlisp"},{"match":"(?i)(?<=\\\\s)(\\\\.)(?=\\\\s)","name":"variable.other.constant.dot.commonlisp"},{"match":"(?<=^|[(\\\\s]|,@|,\\\\.?)([-+]?[0-9]*\\\\.[0-9]*(([DEFLSdefls])[-+]?[0-9]+)?|[-+]?[0-9]+(\\\\.[0-9]*)?([DEFLSdefls])[-+]?[0-9]+)(?=([)\\\\s]))","name":"constant.numeric.commonlisp"}]},"declaration":{"match":"(?i)(?<=^|[(\\\\s])(?:type|speed|special|space|safety|optimize|notinline|inline|ignore|ignorable|ftype|dynamic-extent|declaration|debug|compilation-speed)(?=([()\\\\s]))","name":"storage.type.function.declaration.commonlisp"},"def-name":{"patterns":[{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"3":{"name":"storage.type.function.defname.commonlisp"},"4":{"name":"variable.other.constant.defname.commonlisp"},"6":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"entity.name.function.commonlisp"}]},"7":{"name":"variable.other.constant.defname.commonlisp"},"9":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"entity.name.function.commonlisp"}]}},"match":"(?i)(?<=^|[(\\\\s])(def(?:un|setf|method|macro|ine-symbol-macro|ine-setf-expander|ine-modify-macro|ine-method-combination|ine-compiler-macro|generic))\\\\s+(\\\\(\\\\s*([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+)\\\\s*((,(?:@|\\\\.?))?)([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)|((,(?:@|\\\\.?))?)([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?))(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"2":{"name":"entity.name.type.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])(def(?:type|package|ine-condition|class))\\\\s+([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"2":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"variable.other.constant.defname.commonlisp"}]}},"match":"(?i)(?<=^|[(\\\\s])(defconstant)\\\\s+([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])(def(?:var|parameter))\\\\s+(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"2":{"name":"entity.name.type.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])(defstruct)\\\\s+\\\\(?\\\\s*([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"},{"captures":{"1":{"name":"keyword.control.commonlisp"},"2":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"entity.name.function.commonlisp"}]}},"match":"(?i)(?<=^|[(\\\\s])(macrolet|labels|flet)\\\\s+\\\\(\\\\s*\\\\(\\\\s*([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"}]},"escape":{"match":"(?i)(?<=^|[(\\\\s])#\\\\\\\\\\\\S+?(?=([()\\\\s]))","name":"constant.character.escape.commonlisp"},"function":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|#')(?:values|third|tenth|symbol-value|symbol-plist|symbol-function|svref|subseq|sixth|seventh|second|schar|sbit|row-major-aref|rest|readtable-case|nth|ninth|mask-field|macro-function|logical-pathname-translations|ldb|gethash|getf?|fourth|first|find-class|fill-pointer|fifth|fdefinition|elt|eighth|compiler-macro-function|char|cdr|cddr|cdddr|cddddr|cdddar|cddar|cddadr|cddaar|cdar|cdadr|cdaddr|cdadar|cdaar|cdaadr|cdaaar|car|cadr|caddr|cadddr|caddar|cadar|cadadr|cadaar|caar|caadr|caaddr|caadar|caaar|caaadr|caaaar|bit|aref)(?=([()\\\\s]))","name":"support.function.accessor.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')(?:yes-or-no-p|y-or-n-p|write-sequence|write-char|write-byte|warn|vector-pop|use-value|use-package|unuse-package|union|unintern|unexport|terpri|tailp|substitute-if-not|substitute-if|substitute|subst-if-not|subst-if|subst|sublis|string-upcase|string-downcase|string-capitalize|store-value|sleep|signal|shadowing-import|shadow|set-syntax-from-char|set-macro-character|set-exclusive-or|set-dispatch-macro-character|set-difference|set|rplacd|rplaca|room|reverse|revappend|require|replace|remprop|remove-if-not|remove-if|remove-duplicates|remove|remhash|read-sequence|read-byte|random|provide|pprint-tabular|pprint-newline|pprint-linear|pprint-fill|nunion|nsubstitute-if-not|nsubstitute-if|nsubstitute|nsubst-if-not|nsubst-if|nsubst|nsublis|nstring-upcase|nstring-downcase|nstring-capitalize|nset-exclusive-or|nset-difference|nreverse|nreconc|nintersection|nconc|muffle-warning|method-combination-error|maphash|makunbound|ldiff|invoke-restart-interactively|invoke-restart|invoke-debugger|invalid-method-error|intersection|inspect|import|get-output-stream-string|get-macro-character|get-dispatch-macro-character|gentemp|gensym|fresh-line|fill|file-position|export|describe|delete-if-not|delete-if|delete-duplicates|delete|continue|clrhash|close|clear-input|break|abort)(?=([()\\\\s]))","name":"support.function.f.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')(?:zerop|write-to-string|write-string|write-line|write|wild-pathname-p|vectorp|vector-push-extend|vector-push|vector|values-list|user-homedir-pathname|upper-case-p|upgraded-complex-part-type|upgraded-array-element-type|unread-char|unbound-slot-instance|typep|type-of|type-error-expected-type|type-error-datum|two-way-stream-output-stream|two-way-stream-input-stream|truncate|truename|tree-equal|translate-pathname|translate-logical-pathname|tanh?|synonym-stream-symbol|symbolp|symbol-package|symbol-name|sxhash|subtypep|subsetp|stringp|string>=?|string=|string<=?|string/=|string-trim|string-right-trim|string-not-lessp|string-not-greaterp|string-not-equal|string-lessp|string-left-trim|string-greaterp|string-equal|string|streamp|stream-external-format|stream-error-stream|stream-element-type|standard-char-p|stable-sort|sqrt|special-operator-p|sort|some|software-version|software-type|slot-value|slot-makunbound|slot-exists-p|slot-boundp|sinh?|simple-vector-p|simple-string-p|simple-condition-format-control|simple-condition-format-arguments|simple-bit-vector-p|signum|short-site-name|set-pprint-dispatch|search|scale-float|round|restart-name|rename-package|rename-file|rem|reduce|realpart|realp|readtablep|read-preserving-whitespace|read-line|read-from-string|read-delimited-list|read-char-no-hang|read-char|read|rationalp|rationalize|rational|rassoc-if-not|rassoc-if|rassoc|random-state-p|proclaim|probe-file|print-not-readable-object|print|princ-to-string|princ|prin1-to-string|prin1|pprint-tab|pprint-indent|pprint-dispatch|pprint|position-if-not|position-if|position|plusp|phase|peek-char|pathnamep|pathname-version|pathname-type|pathname-name|pathname-match-p|pathname-host|pathname-directory|pathname-device|pathname|parse-namestring|parse-integer|pairlis|packagep|package-used-by-list|package-use-list|package-shadowing-symbols|package-nicknames|package-name|package-error-package|output-stream-p|open-stream-p|open|oddp|numerator|numberp|null|nthcdr|notevery|notany|not|next-method-p|nbutlast|namestring|name-char|mod|mismatch|minusp|min|merge-pathnames|merge|member-if-not|member-if|member|max|maplist|mapl|mapcon|mapcar|mapcan|mapc|map-into|map|make-two-way-stream|make-synonym-stream|make-symbol|make-string-output-stream|make-string-input-stream|make-string|make-sequence|make-random-state|make-pathname|make-package|make-load-form-saving-slots|make-list|make-hash-table|make-echo-stream|make-dispatch-macro-character|make-condition|make-concatenated-stream|make-broadcast-stream|make-array|macroexpand-1|macroexpand|machine-version|machine-type|machine-instance|lower-case-p|long-site-name|logxor|logtest|logorc2|logorc1|lognot|lognor|lognand|logior|logical-pathname|logeqv|logcount|logbitp|logandc2|logandc1|logand|log|load-logical-pathname-translations|load|listp|listen|list-length|list-all-packages|list\\\\*?|lisp-implementation-version|lisp-implementation-type|length|ldb-test|lcm|last|keywordp|isqrt|intern|interactive-stream-p|integerp|integer-length|integer-decode-float|input-stream-p|imagpart|identity|host-namestring|hash-table-test|hash-table-size|hash-table-rehash-threshold|hash-table-rehash-size|hash-table-p|hash-table-count|graphic-char-p|get-universal-time|get-setf-expansion|get-properties|get-internal-run-time|get-internal-real-time|get-decoded-time|gcd|functionp|function-lambda-expression|funcall|ftruncate|fround|format|force-output|fmakunbound|floor|floatp|float-sign|float-radix|float-precision|float-digits|float|finish-output|find-symbol|find-restart|find-package|find-if-not|find-if|find-all-symbols|find|file-write-date|file-string-length|file-namestring|file-length|file-error-pathname|file-author|ffloor|fceiling|fboundp|expt?|every|evenp|eval|equalp?|eql?|ensure-generic-function|ensure-directories-exist|enough-namestring|endp|encode-universal-time|ed|echo-stream-output-stream|echo-stream-input-stream|dribble|dpb|disassemble|directory-namestring|directory|digit-char-p|digit-char|deposit-field|denominator|delete-package|delete-file|decode-universal-time|decode-float|count-if-not|count-if|count|cosh?|copy-tree|copy-symbol|copy-structure|copy-seq|copy-readtable|copy-pprint-dispatch|copy-list|copy-alist|constantp|constantly|consp?|conjugate|concatenated-stream-streams|concatenate|compute-restarts|complexp?|complement|compiled-function-p|compile-file-pathname|compile-file|compile|coerce|code-char|clear-output|class-of|cis|characterp?|char>=?|char=|char<=?|char/=|char-upcase|char-not-lessp|char-not-greaterp|char-not-equal|char-name|char-lessp|char-int|char-greaterp|char-equal|char-downcase|char-code|cerror|cell-error-name|ceiling|call-next-method|byte-size|byte-position|byte|butlast|broadcast-stream-streams|boundp|both-case-p|boole|bit-xor|bit-vector-p|bit-orc2|bit-orc1|bit-not|bit-nor|bit-nand|bit-ior|bit-eqv|bit-andc2|bit-andc1|bit-and|atom|atanh?|assoc-if-not|assoc-if|assoc|asinh?|ash|arrayp|array-total-size|array-row-major-index|array-rank|array-in-bounds-p|array-has-fill-pointer-p|array-element-type|array-displacement|array-dimensions?|arithmetic-error-operation|arithmetic-error-operands|apropos-list|apropos|apply|append|alphanumericp|alpha-char-p|adjustable-array-p|adjust-array|adjoin|acosh?|acons|abs|>=|[=>]|<=?|1-|1\\\\+|/=|[-*+/])(?=([()\\\\s]))","name":"support.function.f.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')(?:variable|update-instance-for-redefined-class|update-instance-for-different-class|structure|slot-unbound|slot-missing|shared-initialize|remove-method|print-object|no-next-method|no-applicable-method|method-qualifiers|make-load-form|make-instances-obsolete|make-instance|initialize-instance|function-keywords|find-method|documentation|describe-object|compute-applicable-methods|compiler-macro|class-name|change-class|allocate-instance|add-method)(?=([()\\\\s]))","name":"support.function.sgf.nosideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')reinitialize-instance(?=([()\\\\s]))","name":"support.function.sgf.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')satisfies(?=([()\\\\s]))","name":"support.function.typespecifier.commonlisp"}]},"lambda-list":{"match":"(?i)(?<=^|[(\\\\s])&(?:[]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?|whole|rest|optional|key|environment|body|aux|allow-other-keys)(?=([()\\\\s]))","name":"keyword.other.lambdalist.commonlisp"},"macro":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s])(?:with-standard-io-syntax|with-slots|with-simple-restart|with-package-iterator|with-hash-table-iterator|with-condition-restarts|with-compilation-unit|with-accessors|when|unless|typecase|time|step|shiftf|setf|rotatef|return|restart-case|restart-bind|psetf|prog2|prog1|prog\\\\*?|print-unreadable-object|pprint-logical-block|pprint-exit-if-list-exhausted|or|nth-value|multiple-value-setq|multiple-value-list|multiple-value-bind|make-method|loop|lambda|ignore-errors|handler-case|handler-bind|formatter|etypecase|dotimes|dolist|do-symbols|do-external-symbols|do-all-symbols|do\\\\*?|destructuring-bind|defun|deftype|defstruct|defsetf|defpackage|defmethod|defmacro|define-symbol-macro|define-setf-expander|define-condition|define-compiler-macro|defgeneric|defconstant|defclass|declaim|ctypecase|cond|call-method|assert|and)(?=([()\\\\s]))","name":"storage.type.function.m.nosideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s])(?:with-output-to-string|with-open-stream|with-open-file|with-input-from-string|untrace|trace|remf|pushnew|push|psetq|pprint-pop|pop|otherwise|loop-finish|incf|in-package|ecase|defvar|defparameter|define-modify-macro|define-method-combination|decf|check-type|ccase|case)(?=([()\\\\s]))","name":"storage.type.function.m.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s])setq(?=([()\\\\s]))","name":"storage.type.function.specialform.commonlisp"}]},"package":{"patterns":[{"captures":{"2":{"name":"support.type.package.commonlisp"},"3":{"name":"support.type.package.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(([]!$%\\\\&*+\\\\--9<-\\\\[^_a-{}~]+?)|(#))(?=::?)"}]},"punctuation":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(['\`])(?=\\\\S)","name":"variable.other.constant.singlequote.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?):[]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?(?=([()\\\\s]))","name":"entity.name.variable.commonlisp"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]*)(?=\\\\()"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]*)(\\\\*)(?=[01])"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#0??\\\\*)(?=([()\\\\s]))","name":"variable.other.constant.sharpsign.commonlisp"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]+)([Aa])(?=.)"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]+)(=)(?=.)"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]+)(#)(?=.)"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#([-+]))(?=\\\\S)","name":"variable.other.constant.sharpsign.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#([',.CPScps]))(?=\\\\S)","name":"variable.other.constant.sharpsign.commonlisp"},{"captures":{"1":{"name":"support.type.package.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)(:)(?=\\\\S)"},{"captures":{"2":{"name":"variable.other.constant.backquote.commonlisp"},"3":{"name":"variable.other.constant.backquote.commonlisp"},"4":{"name":"variable.other.constant.backquote.commonlisp"},"5":{"name":"variable.other.constant.backquote.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])((\`#)|(\`)(,(?:@|\\\\.?))?|(,(?:@|\\\\.?)))(?=\\\\S)"}]},"special-operator":{"captures":{"2":{"name":"keyword.control.commonlisp"}},"match":"(?i)(\\\\(\\\\s*)(unwind-protect|throw|the|tagbody|symbol-macrolet|return-from|quote|progv|progn|multiple-value-prog1|multiple-value-call|macrolet|locally|load-time-value|let\\\\*?|labels|if|go|function|flet|eval-when|catch|block)(?=([()\\\\s]))"},"string":{"begin":"(\\")","beginCaptures":{"1":{"name":"punctuation.definition.string.begin.commonlisp"}},"end":"(\\")","endCaptures":{"1":{"name":"punctuation.definition.string.end.commonlisp"}},"name":"string.quoted.double.commonlisp","patterns":[{"match":"\\\\\\\\.","name":"constant.character.escape.commonlisp"},{"captures":{"1":{"name":"storage.type.function.formattedstring.commonlisp"},"2":{"name":"variable.other.constant.formattedstring.commonlisp"},"8":{"name":"storage.type.function.formattedstring.commonlisp"},"10":{"name":"storage.type.function.formattedstring.commonlisp"}},"match":"(?i)(~)(((([-+]?[0-9]+)|('.)|[#V])*?(,)?)*?)((:@|@:|[:@])?)([]();<>\\\\[^{}])"},{"captures":{"1":{"name":"entity.name.variable.commonlisp"},"2":{"name":"variable.other.constant.formattedstring.commonlisp"},"8":{"name":"entity.name.variable.commonlisp"},"10":{"name":"entity.name.variable.commonlisp"}},"match":"(?i)(~)(((([-+]?[0-9]+)|('.)|[#V])*?(,)?)*?)((:@|@:|[:@])?)([$%\\\\&*?A-GIOPRSTWX_|~])"},{"captures":{"1":{"name":"entity.name.variable.commonlisp"},"2":{"name":"variable.other.constant.formattedstring.commonlisp"},"8":{"name":"entity.name.variable.commonlisp"},"10":{"name":"entity.name.variable.commonlisp"},"11":{"name":"entity.name.variable.commonlisp"},"12":{"name":"entity.name.variable.commonlisp"}},"match":"(?i)(~)(((([-+]?[0-9]+)|('.)|[#V])*?(,)?)*?)((:@|@:|[:@])?)(/)([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(/)"},{"match":"(~\\\\n)","name":"variable.other.constant.formattedstring.commonlisp"}]},"style-guide":{"patterns":[{"captures":{"3":{"name":"source.commonlisp"}},"match":"(?i)(?<=(?:^|[(\\\\s]|,@|,\\\\.?)')(\\\\S+?)(::?)((\\\\+[^+\\\\s]+\\\\+)|(\\\\*[^*\\\\s]+\\\\*))(?=([()\\\\s]))"},{"match":"(?i)(?<=\\\\S:|^|[(\\\\s]|,@|,\\\\.?)(\\\\+[^+\\\\s]+\\\\+)(?=([()\\\\s]))","name":"variable.other.constant.earmuffsplus.commonlisp"},{"match":"(?i)(?<=\\\\S:|^|[(\\\\s]|,@|,\\\\.?)(\\\\*[^*\\\\s]+\\\\*)(?=([()\\\\s]))","name":"string.regexp.earmuffsasterisk.commonlisp"}]},"symbol":{"match":"(?i)(?<=^|[(\\\\s])(?:method-combination|declare)(?=([()\\\\s]))","name":"storage.type.function.symbol.commonlisp"},"type":{"match":"(?i)(?<=^|[(\\\\s])(?:unsigned-byte|standard-char|standard|single-float|simple-vector|simple-string|simple-bit-vector|simple-base-string|simple-array|signed-byte|short-float|long-float|keyword|fixnum|extended-char|double-float|compiled-function|boolean|bignum|base-string|base-char)(?=([()\\\\s]))","name":"support.type.t.commonlisp"},"variable":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)\\\\*(?:trace-output|terminal-io|standard-output|standard-input|readtable|read-suppress|read-eval|read-default-float-format|read-base|random-state|query-io|print-right-margin|print-readably|print-radix|print-pretty|print-pprint-dispatch|print-miser-width|print-lines|print-level|print-length|print-gensym|print-escape|print-circle|print-case|print-base|print-array|package|modules|macroexpand-hook|load-verbose|load-truename|load-print|load-pathname|gensym-counter|features|error-output|default-pathname-defaults|debugger-hook|debug-io|compile-verbose|compile-print|compile-file-truename|compile-file-pathname|break-on-signals)\\\\*(?=([()\\\\s]))","name":"string.regexp.earmuffsasterisk.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(?:\\\\*\\\\*\\\\*?|\\\\+\\\\+\\\\+?|///?)(?=([()\\\\s]))","name":"variable.other.repl.commonlisp"}]}},"scopeName":"source.commonlisp","aliases":["lisp"]}`)), a = [
4
+ e
5
+ ];
6
+ export {
7
+ a as default
8
+ };
9
+ //# sourceMappingURL=common-lisp-BeJe0ab6.js.map
@@ -0,0 +1,9 @@
1
+ globalThis.process = globalThis.process || { env: {} };
2
+ globalThis.global = globalThis.global || globalThis;
3
+ const e = Object.freeze(JSON.parse(`{"displayName":"Common Lisp","fileTypes":["lisp","lsp","l","cl","asd","asdf"],"foldingStartMarker":"\\\\(","foldingStopMarker":"\\\\)","name":"common-lisp","patterns":[{"include":"#comment"},{"include":"#block-comment"},{"include":"#string"},{"include":"#escape"},{"include":"#constant"},{"include":"#lambda-list"},{"include":"#function"},{"include":"#style-guide"},{"include":"#def-name"},{"include":"#macro"},{"include":"#symbol"},{"include":"#special-operator"},{"include":"#declaration"},{"include":"#type"},{"include":"#class"},{"include":"#condition-type"},{"include":"#package"},{"include":"#variable"},{"include":"#punctuation"}],"repository":{"block-comment":{"begin":"#\\\\|","contentName":"comment.block.commonlisp","end":"\\\\|#","name":"comment","patterns":[{"include":"#block-comment","name":"comment"}]},"class":{"match":"(?i)(?<=^|[(\\\\s])(?:two-way-stream|synonym-stream|symbol|structure-object|structure-class|string-stream|stream|standard-object|standard-method|standard-generic-function|standard-class|sequence|restart|real|readtable|ratio|random-state|package|number|method|integer|hash-table|generic-function|file-stream|echo-stream|concatenated-stream|class|built-in-class|broadcast-stream|bit-vector|array)(?=([()\\\\s]))","name":"support.class.commonlisp"},"comment":{"begin":"(^[\\\\t ]+)?(?=;)","beginCaptures":{"1":{"name":"punctuation.whitespace.comment.leading.commonlisp"}},"end":"(?!\\\\G)","patterns":[{"begin":";","beginCaptures":{"0":{"name":"punctuation.definition.comment.commonlisp"}},"end":"\\\\n","name":"comment.line.semicolon.commonlisp"}]},"condition-type":{"match":"(?i)(?<=^|[(\\\\s])(?:warning|undefined-function|unbound-variable|unbound-slot|type-error|style-warning|stream-error|storage-condition|simple-warning|simple-type-error|simple-error|simple-condition|serious-condition|reader-error|program-error|print-not-readable|parse-error|package-error|floating-point-underflow|floating-point-overflow|floating-point-invalid-operation|floating-point-inexact|file-error|error|end-of-file|division-by-zero|control-error|condition|cell-error|arithmetic-error)(?=([()\\\\s]))","name":"support.type.exception.commonlisp"},"constant":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(?:t|single-float-negative-epsilon|single-float-epsilon|short-float-negative-epsilon|short-float-epsilon|pi|nil|multiple-values-limit|most-positive-single-float|most-positive-short-float|most-positive-long-float|most-positive-fixnum|most-positive-double-float|most-negative-single-float|most-negative-short-float|most-negative-long-float|most-negative-fixnum|most-negative-double-float|long-float-negative-epsilon|long-float-epsilon|least-positive-single-float|least-positive-short-float|least-positive-normalized-single-float|least-positive-normalized-short-float|least-positive-normalized-long-float|least-positive-normalized-double-float|least-positive-long-float|least-positive-double-float|least-negative-single-float|least-negative-short-float|least-negative-normalized-single-float|least-negative-normalized-short-float|least-negative-normalized-long-float|least-negative-normalized-double-float|least-negative-long-float|least-negative-double-float|lambda-parameters-limit|lambda-list-keywords|internal-time-units-per-second|double-float-negative-epsilon|double-float-epsilon|char-code-limit|call-arguments-limit|boole-xor|boole-set|boole-orc2|boole-orc1|boole-nor|boole-nand|boole-ior|boole-eqv|boole-clr|boole-c2|boole-c1|boole-andc2|boole-andc1|boole-and|boole-2|boole-1|array-total-size-limit|array-rank-limit|array-dimension-limit)(?=([()\\\\s]))","name":"constant.language.commonlisp"},{"match":"(?<=^|[(\\\\s]|,@|,\\\\.?)([-+]?[0-9]+(?:/[0-9]+)*|[-+]?[0-9]*\\\\.?[0-9]+([Ee][-+]?[0-9]+)?|(#[Bb])[-+/01]+|(#[Oo])[-+/-7]+|(#[Xx])[-+/\\\\h]+|(#[0-9]+[Rr]?)[-+/-9A-Za-z]+)(?=([)\\\\s]))","name":"constant.numeric.commonlisp"},{"match":"(?i)(?<=\\\\s)(\\\\.)(?=\\\\s)","name":"variable.other.constant.dot.commonlisp"},{"match":"(?<=^|[(\\\\s]|,@|,\\\\.?)([-+]?[0-9]*\\\\.[0-9]*(([DEFLSdefls])[-+]?[0-9]+)?|[-+]?[0-9]+(\\\\.[0-9]*)?([DEFLSdefls])[-+]?[0-9]+)(?=([)\\\\s]))","name":"constant.numeric.commonlisp"}]},"declaration":{"match":"(?i)(?<=^|[(\\\\s])(?:type|speed|special|space|safety|optimize|notinline|inline|ignore|ignorable|ftype|dynamic-extent|declaration|debug|compilation-speed)(?=([()\\\\s]))","name":"storage.type.function.declaration.commonlisp"},"def-name":{"patterns":[{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"3":{"name":"storage.type.function.defname.commonlisp"},"4":{"name":"variable.other.constant.defname.commonlisp"},"6":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"entity.name.function.commonlisp"}]},"7":{"name":"variable.other.constant.defname.commonlisp"},"9":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"entity.name.function.commonlisp"}]}},"match":"(?i)(?<=^|[(\\\\s])(def(?:un|setf|method|macro|ine-symbol-macro|ine-setf-expander|ine-modify-macro|ine-method-combination|ine-compiler-macro|generic))\\\\s+(\\\\(\\\\s*([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+)\\\\s*((,(?:@|\\\\.?))?)([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)|((,(?:@|\\\\.?))?)([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?))(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"2":{"name":"entity.name.type.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])(def(?:type|package|ine-condition|class))\\\\s+([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"2":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"variable.other.constant.defname.commonlisp"}]}},"match":"(?i)(?<=^|[(\\\\s])(defconstant)\\\\s+([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])(def(?:var|parameter))\\\\s+(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"2":{"name":"entity.name.type.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])(defstruct)\\\\s+\\\\(?\\\\s*([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"},{"captures":{"1":{"name":"keyword.control.commonlisp"},"2":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"entity.name.function.commonlisp"}]}},"match":"(?i)(?<=^|[(\\\\s])(macrolet|labels|flet)\\\\s+\\\\(\\\\s*\\\\(\\\\s*([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"}]},"escape":{"match":"(?i)(?<=^|[(\\\\s])#\\\\\\\\\\\\S+?(?=([()\\\\s]))","name":"constant.character.escape.commonlisp"},"function":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|#')(?:values|third|tenth|symbol-value|symbol-plist|symbol-function|svref|subseq|sixth|seventh|second|schar|sbit|row-major-aref|rest|readtable-case|nth|ninth|mask-field|macro-function|logical-pathname-translations|ldb|gethash|getf?|fourth|first|find-class|fill-pointer|fifth|fdefinition|elt|eighth|compiler-macro-function|char|cdr|cddr|cdddr|cddddr|cdddar|cddar|cddadr|cddaar|cdar|cdadr|cdaddr|cdadar|cdaar|cdaadr|cdaaar|car|cadr|caddr|cadddr|caddar|cadar|cadadr|cadaar|caar|caadr|caaddr|caadar|caaar|caaadr|caaaar|bit|aref)(?=([()\\\\s]))","name":"support.function.accessor.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')(?:yes-or-no-p|y-or-n-p|write-sequence|write-char|write-byte|warn|vector-pop|use-value|use-package|unuse-package|union|unintern|unexport|terpri|tailp|substitute-if-not|substitute-if|substitute|subst-if-not|subst-if|subst|sublis|string-upcase|string-downcase|string-capitalize|store-value|sleep|signal|shadowing-import|shadow|set-syntax-from-char|set-macro-character|set-exclusive-or|set-dispatch-macro-character|set-difference|set|rplacd|rplaca|room|reverse|revappend|require|replace|remprop|remove-if-not|remove-if|remove-duplicates|remove|remhash|read-sequence|read-byte|random|provide|pprint-tabular|pprint-newline|pprint-linear|pprint-fill|nunion|nsubstitute-if-not|nsubstitute-if|nsubstitute|nsubst-if-not|nsubst-if|nsubst|nsublis|nstring-upcase|nstring-downcase|nstring-capitalize|nset-exclusive-or|nset-difference|nreverse|nreconc|nintersection|nconc|muffle-warning|method-combination-error|maphash|makunbound|ldiff|invoke-restart-interactively|invoke-restart|invoke-debugger|invalid-method-error|intersection|inspect|import|get-output-stream-string|get-macro-character|get-dispatch-macro-character|gentemp|gensym|fresh-line|fill|file-position|export|describe|delete-if-not|delete-if|delete-duplicates|delete|continue|clrhash|close|clear-input|break|abort)(?=([()\\\\s]))","name":"support.function.f.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')(?:zerop|write-to-string|write-string|write-line|write|wild-pathname-p|vectorp|vector-push-extend|vector-push|vector|values-list|user-homedir-pathname|upper-case-p|upgraded-complex-part-type|upgraded-array-element-type|unread-char|unbound-slot-instance|typep|type-of|type-error-expected-type|type-error-datum|two-way-stream-output-stream|two-way-stream-input-stream|truncate|truename|tree-equal|translate-pathname|translate-logical-pathname|tanh?|synonym-stream-symbol|symbolp|symbol-package|symbol-name|sxhash|subtypep|subsetp|stringp|string>=?|string=|string<=?|string/=|string-trim|string-right-trim|string-not-lessp|string-not-greaterp|string-not-equal|string-lessp|string-left-trim|string-greaterp|string-equal|string|streamp|stream-external-format|stream-error-stream|stream-element-type|standard-char-p|stable-sort|sqrt|special-operator-p|sort|some|software-version|software-type|slot-value|slot-makunbound|slot-exists-p|slot-boundp|sinh?|simple-vector-p|simple-string-p|simple-condition-format-control|simple-condition-format-arguments|simple-bit-vector-p|signum|short-site-name|set-pprint-dispatch|search|scale-float|round|restart-name|rename-package|rename-file|rem|reduce|realpart|realp|readtablep|read-preserving-whitespace|read-line|read-from-string|read-delimited-list|read-char-no-hang|read-char|read|rationalp|rationalize|rational|rassoc-if-not|rassoc-if|rassoc|random-state-p|proclaim|probe-file|print-not-readable-object|print|princ-to-string|princ|prin1-to-string|prin1|pprint-tab|pprint-indent|pprint-dispatch|pprint|position-if-not|position-if|position|plusp|phase|peek-char|pathnamep|pathname-version|pathname-type|pathname-name|pathname-match-p|pathname-host|pathname-directory|pathname-device|pathname|parse-namestring|parse-integer|pairlis|packagep|package-used-by-list|package-use-list|package-shadowing-symbols|package-nicknames|package-name|package-error-package|output-stream-p|open-stream-p|open|oddp|numerator|numberp|null|nthcdr|notevery|notany|not|next-method-p|nbutlast|namestring|name-char|mod|mismatch|minusp|min|merge-pathnames|merge|member-if-not|member-if|member|max|maplist|mapl|mapcon|mapcar|mapcan|mapc|map-into|map|make-two-way-stream|make-synonym-stream|make-symbol|make-string-output-stream|make-string-input-stream|make-string|make-sequence|make-random-state|make-pathname|make-package|make-load-form-saving-slots|make-list|make-hash-table|make-echo-stream|make-dispatch-macro-character|make-condition|make-concatenated-stream|make-broadcast-stream|make-array|macroexpand-1|macroexpand|machine-version|machine-type|machine-instance|lower-case-p|long-site-name|logxor|logtest|logorc2|logorc1|lognot|lognor|lognand|logior|logical-pathname|logeqv|logcount|logbitp|logandc2|logandc1|logand|log|load-logical-pathname-translations|load|listp|listen|list-length|list-all-packages|list\\\\*?|lisp-implementation-version|lisp-implementation-type|length|ldb-test|lcm|last|keywordp|isqrt|intern|interactive-stream-p|integerp|integer-length|integer-decode-float|input-stream-p|imagpart|identity|host-namestring|hash-table-test|hash-table-size|hash-table-rehash-threshold|hash-table-rehash-size|hash-table-p|hash-table-count|graphic-char-p|get-universal-time|get-setf-expansion|get-properties|get-internal-run-time|get-internal-real-time|get-decoded-time|gcd|functionp|function-lambda-expression|funcall|ftruncate|fround|format|force-output|fmakunbound|floor|floatp|float-sign|float-radix|float-precision|float-digits|float|finish-output|find-symbol|find-restart|find-package|find-if-not|find-if|find-all-symbols|find|file-write-date|file-string-length|file-namestring|file-length|file-error-pathname|file-author|ffloor|fceiling|fboundp|expt?|every|evenp|eval|equalp?|eql?|ensure-generic-function|ensure-directories-exist|enough-namestring|endp|encode-universal-time|ed|echo-stream-output-stream|echo-stream-input-stream|dribble|dpb|disassemble|directory-namestring|directory|digit-char-p|digit-char|deposit-field|denominator|delete-package|delete-file|decode-universal-time|decode-float|count-if-not|count-if|count|cosh?|copy-tree|copy-symbol|copy-structure|copy-seq|copy-readtable|copy-pprint-dispatch|copy-list|copy-alist|constantp|constantly|consp?|conjugate|concatenated-stream-streams|concatenate|compute-restarts|complexp?|complement|compiled-function-p|compile-file-pathname|compile-file|compile|coerce|code-char|clear-output|class-of|cis|characterp?|char>=?|char=|char<=?|char/=|char-upcase|char-not-lessp|char-not-greaterp|char-not-equal|char-name|char-lessp|char-int|char-greaterp|char-equal|char-downcase|char-code|cerror|cell-error-name|ceiling|call-next-method|byte-size|byte-position|byte|butlast|broadcast-stream-streams|boundp|both-case-p|boole|bit-xor|bit-vector-p|bit-orc2|bit-orc1|bit-not|bit-nor|bit-nand|bit-ior|bit-eqv|bit-andc2|bit-andc1|bit-and|atom|atanh?|assoc-if-not|assoc-if|assoc|asinh?|ash|arrayp|array-total-size|array-row-major-index|array-rank|array-in-bounds-p|array-has-fill-pointer-p|array-element-type|array-displacement|array-dimensions?|arithmetic-error-operation|arithmetic-error-operands|apropos-list|apropos|apply|append|alphanumericp|alpha-char-p|adjustable-array-p|adjust-array|adjoin|acosh?|acons|abs|>=|[=>]|<=?|1-|1\\\\+|/=|[-*+/])(?=([()\\\\s]))","name":"support.function.f.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')(?:variable|update-instance-for-redefined-class|update-instance-for-different-class|structure|slot-unbound|slot-missing|shared-initialize|remove-method|print-object|no-next-method|no-applicable-method|method-qualifiers|make-load-form|make-instances-obsolete|make-instance|initialize-instance|function-keywords|find-method|documentation|describe-object|compute-applicable-methods|compiler-macro|class-name|change-class|allocate-instance|add-method)(?=([()\\\\s]))","name":"support.function.sgf.nosideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')reinitialize-instance(?=([()\\\\s]))","name":"support.function.sgf.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')satisfies(?=([()\\\\s]))","name":"support.function.typespecifier.commonlisp"}]},"lambda-list":{"match":"(?i)(?<=^|[(\\\\s])&(?:[]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?|whole|rest|optional|key|environment|body|aux|allow-other-keys)(?=([()\\\\s]))","name":"keyword.other.lambdalist.commonlisp"},"macro":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s])(?:with-standard-io-syntax|with-slots|with-simple-restart|with-package-iterator|with-hash-table-iterator|with-condition-restarts|with-compilation-unit|with-accessors|when|unless|typecase|time|step|shiftf|setf|rotatef|return|restart-case|restart-bind|psetf|prog2|prog1|prog\\\\*?|print-unreadable-object|pprint-logical-block|pprint-exit-if-list-exhausted|or|nth-value|multiple-value-setq|multiple-value-list|multiple-value-bind|make-method|loop|lambda|ignore-errors|handler-case|handler-bind|formatter|etypecase|dotimes|dolist|do-symbols|do-external-symbols|do-all-symbols|do\\\\*?|destructuring-bind|defun|deftype|defstruct|defsetf|defpackage|defmethod|defmacro|define-symbol-macro|define-setf-expander|define-condition|define-compiler-macro|defgeneric|defconstant|defclass|declaim|ctypecase|cond|call-method|assert|and)(?=([()\\\\s]))","name":"storage.type.function.m.nosideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s])(?:with-output-to-string|with-open-stream|with-open-file|with-input-from-string|untrace|trace|remf|pushnew|push|psetq|pprint-pop|pop|otherwise|loop-finish|incf|in-package|ecase|defvar|defparameter|define-modify-macro|define-method-combination|decf|check-type|ccase|case)(?=([()\\\\s]))","name":"storage.type.function.m.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s])setq(?=([()\\\\s]))","name":"storage.type.function.specialform.commonlisp"}]},"package":{"patterns":[{"captures":{"2":{"name":"support.type.package.commonlisp"},"3":{"name":"support.type.package.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(([]!$%\\\\&*+\\\\--9<-\\\\[^_a-{}~]+?)|(#))(?=::?)"}]},"punctuation":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(['\`])(?=\\\\S)","name":"variable.other.constant.singlequote.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?):[]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?(?=([()\\\\s]))","name":"entity.name.variable.commonlisp"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]*)(?=\\\\()"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]*)(\\\\*)(?=[01])"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#0??\\\\*)(?=([()\\\\s]))","name":"variable.other.constant.sharpsign.commonlisp"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]+)([Aa])(?=.)"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]+)(=)(?=.)"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]+)(#)(?=.)"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#([-+]))(?=\\\\S)","name":"variable.other.constant.sharpsign.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#([',.CPScps]))(?=\\\\S)","name":"variable.other.constant.sharpsign.commonlisp"},{"captures":{"1":{"name":"support.type.package.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)(:)(?=\\\\S)"},{"captures":{"2":{"name":"variable.other.constant.backquote.commonlisp"},"3":{"name":"variable.other.constant.backquote.commonlisp"},"4":{"name":"variable.other.constant.backquote.commonlisp"},"5":{"name":"variable.other.constant.backquote.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])((\`#)|(\`)(,(?:@|\\\\.?))?|(,(?:@|\\\\.?)))(?=\\\\S)"}]},"special-operator":{"captures":{"2":{"name":"keyword.control.commonlisp"}},"match":"(?i)(\\\\(\\\\s*)(unwind-protect|throw|the|tagbody|symbol-macrolet|return-from|quote|progv|progn|multiple-value-prog1|multiple-value-call|macrolet|locally|load-time-value|let\\\\*?|labels|if|go|function|flet|eval-when|catch|block)(?=([()\\\\s]))"},"string":{"begin":"(\\")","beginCaptures":{"1":{"name":"punctuation.definition.string.begin.commonlisp"}},"end":"(\\")","endCaptures":{"1":{"name":"punctuation.definition.string.end.commonlisp"}},"name":"string.quoted.double.commonlisp","patterns":[{"match":"\\\\\\\\.","name":"constant.character.escape.commonlisp"},{"captures":{"1":{"name":"storage.type.function.formattedstring.commonlisp"},"2":{"name":"variable.other.constant.formattedstring.commonlisp"},"8":{"name":"storage.type.function.formattedstring.commonlisp"},"10":{"name":"storage.type.function.formattedstring.commonlisp"}},"match":"(?i)(~)(((([-+]?[0-9]+)|('.)|[#V])*?(,)?)*?)((:@|@:|[:@])?)([]();<>\\\\[^{}])"},{"captures":{"1":{"name":"entity.name.variable.commonlisp"},"2":{"name":"variable.other.constant.formattedstring.commonlisp"},"8":{"name":"entity.name.variable.commonlisp"},"10":{"name":"entity.name.variable.commonlisp"}},"match":"(?i)(~)(((([-+]?[0-9]+)|('.)|[#V])*?(,)?)*?)((:@|@:|[:@])?)([$%\\\\&*?A-GIOPRSTWX_|~])"},{"captures":{"1":{"name":"entity.name.variable.commonlisp"},"2":{"name":"variable.other.constant.formattedstring.commonlisp"},"8":{"name":"entity.name.variable.commonlisp"},"10":{"name":"entity.name.variable.commonlisp"},"11":{"name":"entity.name.variable.commonlisp"},"12":{"name":"entity.name.variable.commonlisp"}},"match":"(?i)(~)(((([-+]?[0-9]+)|('.)|[#V])*?(,)?)*?)((:@|@:|[:@])?)(/)([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(/)"},{"match":"(~\\\\n)","name":"variable.other.constant.formattedstring.commonlisp"}]},"style-guide":{"patterns":[{"captures":{"3":{"name":"source.commonlisp"}},"match":"(?i)(?<=(?:^|[(\\\\s]|,@|,\\\\.?)')(\\\\S+?)(::?)((\\\\+[^+\\\\s]+\\\\+)|(\\\\*[^*\\\\s]+\\\\*))(?=([()\\\\s]))"},{"match":"(?i)(?<=\\\\S:|^|[(\\\\s]|,@|,\\\\.?)(\\\\+[^+\\\\s]+\\\\+)(?=([()\\\\s]))","name":"variable.other.constant.earmuffsplus.commonlisp"},{"match":"(?i)(?<=\\\\S:|^|[(\\\\s]|,@|,\\\\.?)(\\\\*[^*\\\\s]+\\\\*)(?=([()\\\\s]))","name":"string.regexp.earmuffsasterisk.commonlisp"}]},"symbol":{"match":"(?i)(?<=^|[(\\\\s])(?:method-combination|declare)(?=([()\\\\s]))","name":"storage.type.function.symbol.commonlisp"},"type":{"match":"(?i)(?<=^|[(\\\\s])(?:unsigned-byte|standard-char|standard|single-float|simple-vector|simple-string|simple-bit-vector|simple-base-string|simple-array|signed-byte|short-float|long-float|keyword|fixnum|extended-char|double-float|compiled-function|boolean|bignum|base-string|base-char)(?=([()\\\\s]))","name":"support.type.t.commonlisp"},"variable":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)\\\\*(?:trace-output|terminal-io|standard-output|standard-input|readtable|read-suppress|read-eval|read-default-float-format|read-base|random-state|query-io|print-right-margin|print-readably|print-radix|print-pretty|print-pprint-dispatch|print-miser-width|print-lines|print-level|print-length|print-gensym|print-escape|print-circle|print-case|print-base|print-array|package|modules|macroexpand-hook|load-verbose|load-truename|load-print|load-pathname|gensym-counter|features|error-output|default-pathname-defaults|debugger-hook|debug-io|compile-verbose|compile-print|compile-file-truename|compile-file-pathname|break-on-signals)\\\\*(?=([()\\\\s]))","name":"string.regexp.earmuffsasterisk.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(?:\\\\*\\\\*\\\\*?|\\\\+\\\\+\\\\+?|///?)(?=([()\\\\s]))","name":"variable.other.repl.commonlisp"}]}},"scopeName":"source.commonlisp","aliases":["lisp"]}`)), a = [
4
+ e
5
+ ];
6
+ export {
7
+ a as default
8
+ };
9
+ //# sourceMappingURL=common-lisp-GbfS1OBj.js.map
@@ -0,0 +1,9 @@
1
+ globalThis.process = globalThis.process || { env: {} };
2
+ globalThis.global = globalThis.global || globalThis;
3
+ const e = Object.freeze(JSON.parse(`{"displayName":"Coq","fileTypes":["v"],"name":"coq","patterns":[{"match":"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b","name":"keyword.control.import.coq"},{"match":"\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\s+Scope)\\\\b","name":"keyword.control.import.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.theorem.coq"}},"match":"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\bGoal\\\\b","name":"keyword.source.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.coq"}},"match":"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"}},"match":"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.type.coq"}},"match":"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b","name":"keyword.debug.coq"},{"match":"\\\\b(admit|Admitted)\\\\b","name":"invalid.illegal.admit.coq"},{"match":"[-*+:<=>{|}¬→↔∧∨≠≤≥]","name":"keyword.operator.coq"},{"match":"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]","name":"support.type.coq"},{"match":"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(into|with|eqn|by|move|as|using)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b","name":"support.function.builtin.ltac"},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"match":"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b","name":"constant.numeric.gallina"},{"match":"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b","name":"constant.language.constructor.gallina"},{"match":"\\\\b_\\\\b","name":"constant.language.wildcard.coq"},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}],"repository":{"block_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},"block_double_quoted_string":{"applyEndPatternLast":1,"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}},"scopeName":"source.coq"}`)), t = [
4
+ e
5
+ ];
6
+ export {
7
+ t as default
8
+ };
9
+ //# sourceMappingURL=coq-B0RJLsKz.js.map
@@ -0,0 +1,9 @@
1
+ globalThis.process = globalThis.process || { env: {} };
2
+ globalThis.global = globalThis.global || globalThis;
3
+ const e = Object.freeze(JSON.parse(`{"displayName":"Coq","fileTypes":["v"],"name":"coq","patterns":[{"match":"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b","name":"keyword.control.import.coq"},{"match":"\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\s+Scope)\\\\b","name":"keyword.control.import.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.theorem.coq"}},"match":"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\bGoal\\\\b","name":"keyword.source.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.coq"}},"match":"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"}},"match":"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.type.coq"}},"match":"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b","name":"keyword.debug.coq"},{"match":"\\\\b(admit|Admitted)\\\\b","name":"invalid.illegal.admit.coq"},{"match":"[-*+:<=>{|}¬→↔∧∨≠≤≥]","name":"keyword.operator.coq"},{"match":"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]","name":"support.type.coq"},{"match":"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(into|with|eqn|by|move|as|using)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b","name":"support.function.builtin.ltac"},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"match":"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b","name":"constant.numeric.gallina"},{"match":"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b","name":"constant.language.constructor.gallina"},{"match":"\\\\b_\\\\b","name":"constant.language.wildcard.coq"},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}],"repository":{"block_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},"block_double_quoted_string":{"applyEndPatternLast":1,"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}},"scopeName":"source.coq"}`)), t = [
4
+ e
5
+ ];
6
+ export {
7
+ t as default
8
+ };
9
+ //# sourceMappingURL=coq-DMlFNAl3.js.map