@elmethis/core 1.0.0-alpha.14 → 1.0.0-alpha.141

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 (447) hide show
  1. package/dist/{Bash-Cd5wtNan.js → Bash-BYALHxBA.js} +19 -15
  2. package/dist/Css-B_lIFKfr.js +18 -0
  3. package/dist/ElmShikiHighlighter-g41rU8iG.js +7531 -0
  4. package/dist/{Rust-Beyp-qeb.js → Rust-DinaeL7B.js} +3 -3
  5. package/dist/_basePickBy-Cu6p_7XW.js +152 -0
  6. package/dist/_baseUniq-EFAhWRZ_.js +583 -0
  7. package/dist/abap-BPxeDPn4.js +6 -0
  8. package/dist/actionscript-3-Cjb604Dt.js +6 -0
  9. package/dist/ada-BSgRrxrM.js +6 -0
  10. package/dist/andromeeda-uXNdzNpk.js +4 -0
  11. package/dist/angular-html-Zg5oS4-1.js +32 -0
  12. package/dist/angular-ts-NgJ-y-q8.js +21 -0
  13. package/dist/apache-Cyj7Ib-S.js +6 -0
  14. package/dist/apex-DAAiMqi-.js +6 -0
  15. package/dist/apl-DxZdCuNa.js +16 -0
  16. package/dist/applescript-CroEtIVQ.js +6 -0
  17. package/dist/ara-9AczF2vY.js +6 -0
  18. package/dist/arc-XU5WZqau.js +83 -0
  19. package/dist/architecture-I3QFYML2-B3DQFv0i.js +5 -0
  20. package/dist/architectureDiagram-PQUH6ZAG-C8VLuNh-.js +4633 -0
  21. package/dist/asciidoc-raFNDrGb.js +6 -0
  22. package/dist/asm-C8ld_M07.js +6 -0
  23. package/dist/astro-DVLPOVeH.js +16 -0
  24. package/dist/aurora-x-BwoVEUWZ.js +4 -0
  25. package/dist/awk-gc4Y_RTq.js +6 -0
  26. package/dist/ayu-dark-CxPZkpb2.js +4 -0
  27. package/dist/ballerina-CML1q4Hw.js +6 -0
  28. package/dist/bat-BVW1L4ug.js +6 -0
  29. package/dist/beancount-DYEC72C_.js +6 -0
  30. package/dist/berry-VTah6p7n.js +6 -0
  31. package/dist/bibtex-Bqt_3AVI.js +6 -0
  32. package/dist/bicep-DGk9_2l4.js +6 -0
  33. package/dist/blade-kJIUE9Xv.js +20 -0
  34. package/dist/blockDiagram-5JUZGEFE-Oz114lB1.js +2247 -0
  35. package/dist/bsl-tt9CYf2I.js +8 -0
  36. package/dist/c-Cb-M0LQR.js +6 -0
  37. package/dist/c4Diagram-7JAJQR3Y-HFTedFjh.js +1581 -0
  38. package/dist/cadence-Di4VMBdJ.js +6 -0
  39. package/dist/cairo-CNbjbPRN.js +8 -0
  40. package/dist/catppuccin-frappe-MQ6irQtC.js +4 -0
  41. package/dist/catppuccin-latte-UMitw0Sv.js +4 -0
  42. package/dist/catppuccin-macchiato-CpTwm6bY.js +4 -0
  43. package/dist/catppuccin-mocha-DAcVHoH1.js +4 -0
  44. package/dist/channel-CZoD2q3F.js +5 -0
  45. package/dist/chunk-2O5F6CEG-_P2-sobY.js +24 -0
  46. package/dist/chunk-4IRHCMPZ-gjkKBXZH.js +1415 -0
  47. package/dist/chunk-5V4FS25O-BgKN92Ak.js +1372 -0
  48. package/dist/chunk-66XRIAFR-DuWbXcnI.js +15 -0
  49. package/dist/chunk-IUKPXING-3BMeQhuQ.js +9 -0
  50. package/dist/chunk-PLTTB2RT-C5TfzwCE.js +64 -0
  51. package/dist/clarity-WOA8trQj.js +6 -0
  52. package/dist/classDiagram-L266QK7U-DoPWwUsO.js +16 -0
  53. package/dist/classDiagram-v2-JRWBCVM4-DoPWwUsO.js +16 -0
  54. package/dist/clojure-r3NcJ8yt.js +6 -0
  55. package/dist/clone-D41a067H.js +8 -0
  56. package/dist/cmake-CQmEhYbr.js +6 -0
  57. package/dist/cobol-DpscMYyB.js +10 -0
  58. package/dist/codeowners-Bt9yU6NX.js +6 -0
  59. package/dist/codeql-2Dcm6WNF.js +6 -0
  60. package/dist/coffee-cT6mLyjo.js +8 -0
  61. package/dist/common-lisp-DuX5KqId.js +6 -0
  62. package/dist/components/{inline/ElmInlineCode.stories.d.ts → badge/ElmBadge.stories.d.ts} +2 -2
  63. package/dist/components/badge/ElmBadge.vue.d.ts +21 -0
  64. package/dist/components/badge/ElmTag.stories.d.ts +7 -0
  65. package/dist/components/badge/ElmTag.vue.d.ts +14 -0
  66. package/dist/components/code/ElmCodeBlock.vue.d.ts +8 -1
  67. package/dist/components/code/ElmKatex.vue.d.ts +3 -1
  68. package/dist/components/code/ElmMermaid.stories.d.ts +7 -0
  69. package/dist/components/code/ElmMermaid.vue.d.ts +8 -0
  70. package/dist/components/code/{ElmPrismHighlighter.stories.d.ts → ElmShikiHighlighter.stories.d.ts} +2 -3
  71. package/dist/components/code/{ElmPrismHighlighter.vue.d.ts → ElmShikiHighlighter.vue.d.ts} +3 -3
  72. package/dist/components/containments/ElmColumn.vue.d.ts +3 -2
  73. package/dist/components/containments/ElmColumnList.vue.d.ts +3 -2
  74. package/dist/components/containments/ElmDesktopWindow.stories.d.ts +6 -0
  75. package/dist/components/containments/ElmDesktopWindow.vue.d.ts +27 -0
  76. package/dist/components/containments/ElmModal.stories.d.ts +6 -0
  77. package/dist/components/containments/ElmModal.vue.d.ts +35 -0
  78. package/dist/components/containments/ElmSnackbar.stories.d.ts +6 -0
  79. package/dist/components/containments/ElmSnackbar.vue.d.ts +11 -0
  80. package/dist/components/containments/ElmSnackbarContainer.vue.d.ts +10 -0
  81. package/dist/components/containments/ElmToggle.stories.d.ts +1 -0
  82. package/dist/components/containments/ElmToggle.vue.d.ts +13 -6
  83. package/dist/components/containments/ElmTooltip.vue.d.ts +5 -2
  84. package/dist/components/containments/useSnackbarState.d.ts +28 -0
  85. package/dist/components/data/ElmMultiProgress.stories.d.ts +6 -0
  86. package/dist/components/data/ElmMultiProgress.vue.d.ts +30 -0
  87. package/dist/components/data/ElmProgress.stories.d.ts +1 -0
  88. package/dist/components/data/ElmProgress.vue.d.ts +6 -1
  89. package/dist/components/data/ElmStatusMessage.stories.d.ts +9 -0
  90. package/dist/components/data/ElmStatusMessage.vue.d.ts +6 -0
  91. package/dist/components/fallback/ElmBlockFallback.stories.d.ts +6 -0
  92. package/dist/components/fallback/ElmBlockFallback.vue.d.ts +4 -0
  93. package/dist/components/fallback/ElmRectangleWave.vue.d.ts +1 -1
  94. package/dist/components/fallback/ElmSpinner.stories.d.ts +6 -0
  95. package/dist/components/fallback/ElmSpinner.vue.d.ts +9 -0
  96. package/dist/components/form/ElmButton.stories.d.ts +11 -0
  97. package/dist/components/form/ElmButton.vue.d.ts +41 -0
  98. package/dist/components/form/ElmCheckbox.vue.d.ts +16 -6
  99. package/dist/components/form/ElmSwitch.stories.d.ts +6 -0
  100. package/dist/components/form/ElmSwitch.vue.d.ts +32 -0
  101. package/dist/components/form/ElmTextField.stories.d.ts +6 -0
  102. package/dist/components/form/ElmTextField.vue.d.ts +30 -0
  103. package/dist/components/form/ElmTotp.stories.d.ts +6 -0
  104. package/dist/components/form/ElmTotp.vue.d.ts +12 -0
  105. package/dist/components/headings/ElmFragmentIdentifier.stories.d.ts +6 -0
  106. package/dist/components/headings/ElmFragmentIdentifier.vue.d.ts +8 -0
  107. package/dist/components/headings/ElmHeading1.vue.d.ts +3 -1
  108. package/dist/components/headings/ElmHeading2.vue.d.ts +3 -1
  109. package/dist/components/headings/ElmHeading3.vue.d.ts +3 -1
  110. package/dist/components/icon/ElmArrowIcon.stories.d.ts +6 -0
  111. package/dist/components/icon/ElmArrowIcon.vue.d.ts +26 -0
  112. package/dist/components/icon/ElmBookmarkIcon.stories.d.ts +8 -0
  113. package/dist/components/icon/ElmBookmarkIcon.vue.d.ts +7 -0
  114. package/dist/components/icon/ElmCubeIcon.vue.d.ts +1 -1
  115. package/dist/components/icon/ElmDotLoadingIcon.vue.d.ts +2 -2
  116. package/dist/components/icon/ElmLanguageIcon.vue.d.ts +1 -1
  117. package/dist/components/icon/ElmLoginIcon.stories.d.ts +6 -0
  118. package/dist/components/icon/ElmLoginIcon.vue.d.ts +18 -0
  119. package/dist/components/icon/languages/Bash.vue.d.ts +1 -1
  120. package/dist/components/icon/languages/{JavaScript.vue.d.ts → Css.vue.d.ts} +1 -1
  121. package/dist/components/icon/languages/Rust.vue.d.ts +1 -1
  122. package/dist/components/inline/ElmInlineLink.vue.d.ts +1 -1
  123. package/dist/components/inline/ElmInlineRuby.vue.d.ts +1 -1
  124. package/dist/components/inline/ElmInlineText.stories.d.ts +1 -0
  125. package/dist/components/inline/ElmInlineText.vue.d.ts +10 -1
  126. package/dist/components/inline/ElmTypingAnimation.stories.d.ts +6 -0
  127. package/dist/components/inline/ElmTypingAnimation.vue.d.ts +21 -0
  128. package/dist/components/jsonschema/ElmChildContainer.stories.d.ts +6 -0
  129. package/dist/components/jsonschema/ElmChildContainer.vue.d.ts +21 -0
  130. package/dist/components/jsonschema/ElmFieldAttribute.stories.d.ts +6 -0
  131. package/dist/components/jsonschema/ElmFieldAttribute.vue.d.ts +7 -0
  132. package/dist/components/jsonschema/ElmFieldType.stories.d.ts +7 -0
  133. package/dist/components/jsonschema/ElmFieldType.vue.d.ts +8 -0
  134. package/dist/components/jsonschema/ElmJsonSchema.stories.d.ts +7 -0
  135. package/dist/components/jsonschema/ElmJsonSchema.vue.d.ts +7 -0
  136. package/dist/components/media/ElmFile.vue.d.ts +6 -1
  137. package/dist/components/media/ElmImage.stories.d.ts +1 -0
  138. package/dist/components/media/ElmImage.vue.d.ts +5 -0
  139. package/dist/components/navigation/ElmBookmark.stories.d.ts +2 -0
  140. package/dist/components/navigation/ElmBookmark.vue.d.ts +13 -9
  141. package/dist/components/navigation/ElmBreadcrumb.vue.d.ts +3 -1
  142. package/dist/components/navigation/ElmPagetop.vue.d.ts +1 -1
  143. package/dist/components/navigation/ElmTableOfContents.vue.d.ts +1 -1
  144. package/dist/components/others/ElmColorSample.stories.d.ts +6 -0
  145. package/dist/components/others/ElmColorSample.vue.d.ts +8 -0
  146. package/dist/components/others/ElmColorTable.stories.d.ts +6 -0
  147. package/dist/components/others/ElmColorTable.vue.d.ts +11 -0
  148. package/dist/components/others/ElmTemplate.stories.d.ts +6 -0
  149. package/dist/components/others/ElmTyping.vue.d.ts +4 -0
  150. package/dist/components/renderer/ElmJsonRenderer.vue.d.ts +33 -8
  151. package/dist/components/renderer/ElmJsonRendererAsync.vue.d.ts +3 -0
  152. package/dist/components/table/ElmTable.vue.d.ts +8 -2
  153. package/dist/components/table/ElmTableBody.vue.d.ts +3 -2
  154. package/dist/components/table/ElmTableCell.vue.d.ts +2 -1
  155. package/dist/components/table/ElmTableHeader.vue.d.ts +3 -2
  156. package/dist/components/table/ElmTableRow.vue.d.ts +3 -2
  157. package/dist/components/template/ElmTemplate.vue.d.ts +1 -1
  158. package/dist/components/typography/ElmBlockQuote.vue.d.ts +5 -2
  159. package/dist/components/typography/ElmBulletedList.vue.d.ts +5 -2
  160. package/dist/components/typography/ElmCallout.vue.d.ts +5 -2
  161. package/dist/components/typography/ElmDivider.vue.d.ts +8 -1
  162. package/dist/components/typography/ElmListItem.vue.d.ts +3 -2
  163. package/dist/components/typography/ElmNumberedList.vue.d.ts +5 -2
  164. package/dist/components/typography/ElmParagraph.vue.d.ts +5 -2
  165. package/dist/coq-DboLktjX.js +6 -0
  166. package/dist/cpp-Dfuj7FgN.js +18 -0
  167. package/dist/crystal-Cu359yzW.js +18 -0
  168. package/dist/csharp-xQvxkZxj.js +6 -0
  169. package/dist/css-BnL1064W.js +6 -0
  170. package/dist/csv-CmYOceLb.js +6 -0
  171. package/dist/cue-ByErcpN2.js +6 -0
  172. package/dist/cypher-DEVyrV5b.js +6 -0
  173. package/dist/cytoscape.esm-aRg21b6u.js +18120 -0
  174. package/dist/d-CBVqdj3C.js +6 -0
  175. package/dist/dagre-QXRM2OYR-B5ENZ7-y.js +447 -0
  176. package/dist/dark-plus-pUHDTVV0.js +4 -0
  177. package/dist/dart-u2fD-sKr.js +6 -0
  178. package/dist/dax-Crz9Wv4y.js +6 -0
  179. package/dist/desktop-DNXSD5qJ.js +6 -0
  180. package/dist/diagram-DHSB7DV3-Dqr8CsWn.js +126 -0
  181. package/dist/diff-DOdUfPSR.js +6 -0
  182. package/dist/docker-CsHqm9tx.js +6 -0
  183. package/dist/dotenv-BYL4tpZA.js +6 -0
  184. package/dist/dracula-BtZx2Kac.js +4 -0
  185. package/dist/dracula-soft-BKa-aqBv.js +4 -0
  186. package/dist/dream-maker-kevRUHRs.js +6 -0
  187. package/dist/edge-D-R-hhaT.js +12 -0
  188. package/dist/elixir-DuneT2DZ.js +8 -0
  189. package/dist/elm-DdPFQYmH.js +8 -0
  190. package/dist/elmethis.js +68 -44
  191. package/dist/elmethis.umd.cjs +2444 -191
  192. package/dist/emacs-lisp-Bwasiep6.js +6 -0
  193. package/dist/erDiagram-MVNNDQJ5-CXPSajpL.js +841 -0
  194. package/dist/erb-BDkUfiWc.js +10 -0
  195. package/dist/erlang-CxpbZUOc.js +6 -0
  196. package/dist/everforest-dark-DMCBqXCK.js +4 -0
  197. package/dist/everforest-light-BbXl82Em.js +4 -0
  198. package/dist/fennel-B1x5pKr1.js +6 -0
  199. package/dist/fish-BjbXctXH.js +6 -0
  200. package/dist/flowDiagram-27HWSH3H-DDg__sQI.js +1619 -0
  201. package/dist/fluent-DCuHrNR-.js +6 -0
  202. package/dist/fortran-fixed-form-muAGtm2V.js +8 -0
  203. package/dist/fortran-free-form-Db8k5H7x.js +6 -0
  204. package/dist/fsharp-D3TfYvtR.js +8 -0
  205. package/dist/ganttDiagram-ZCE2YOAT-ItVuJVUp.js +2493 -0
  206. package/dist/gdresource-C22851qr.js +10 -0
  207. package/dist/gdscript-C-C99PjI.js +6 -0
  208. package/dist/gdshader-0TihrSQl.js +6 -0
  209. package/dist/genie-MtKmcmPo.js +6 -0
  210. package/dist/gherkin-AzJBtK0J.js +6 -0
  211. package/dist/git-commit-Cdscfa4x.js +8 -0
  212. package/dist/git-rebase-BkertWzk.js +8 -0
  213. package/dist/gitGraph-YCYPL57B-CxR8jlxB.js +5 -0
  214. package/dist/gitGraphDiagram-ISGV4O2Y-DhGxfQ9h.js +712 -0
  215. package/dist/github-dark-DenFmJkN.js +4 -0
  216. package/dist/github-dark-default-BJPUVz4H.js +4 -0
  217. package/dist/github-dark-dimmed-DUshB20C.js +4 -0
  218. package/dist/github-dark-high-contrast-D3aGCnF8.js +4 -0
  219. package/dist/github-light-JYsPkUQd.js +4 -0
  220. package/dist/github-light-default-D99KPAby.js +4 -0
  221. package/dist/github-light-high-contrast-BbmZE-Mp.js +4 -0
  222. package/dist/gleam-BoJB89vF.js +6 -0
  223. package/dist/glimmer-js-DEzcmBLn.js +14 -0
  224. package/dist/glimmer-ts-CfoDm2Ms.js +14 -0
  225. package/dist/glsl-BcGeWDoy.js +8 -0
  226. package/dist/gnuplot-DgGnPAp8.js +6 -0
  227. package/dist/go-Cw0OOp5U.js +6 -0
  228. package/dist/graph-C5-dvh3P.js +247 -0
  229. package/dist/graphql-BA9S3A0F.js +14 -0
  230. package/dist/groovy-45PuQEhl.js +6 -0
  231. package/dist/gruvbox-dark-hard-BDGmrmYl.js +4 -0
  232. package/dist/gruvbox-dark-medium-D7OrvcL5.js +4 -0
  233. package/dist/gruvbox-dark-soft-D_75PUdg.js +4 -0
  234. package/dist/gruvbox-light-hard-DhQt1gbs.js +4 -0
  235. package/dist/gruvbox-light-medium-DNXV_Sw8.js +4 -0
  236. package/dist/gruvbox-light-soft-C7ZspGxH.js +4 -0
  237. package/dist/hack-B5c1rmdK.js +10 -0
  238. package/dist/haml-CknjlTyn.js +10 -0
  239. package/dist/handlebars-DxZCQ1Ls.js +14 -0
  240. package/dist/haskell-ClRE648j.js +6 -0
  241. package/dist/haxe-CClgwBXY.js +6 -0
  242. package/dist/hcl-JJeBEFYE.js +6 -0
  243. package/dist/hjson-BollGKL_.js +6 -0
  244. package/dist/hlsl-b3kI2reZ.js +6 -0
  245. package/dist/hooks/useElmethisTheme.d.ts +4 -0
  246. package/dist/hooks/useTyping.d.ts +17 -0
  247. package/dist/houston-BDYrDoDW.js +4 -0
  248. package/dist/html-Iy9EJBkL.js +10 -0
  249. package/dist/html-derivative-BfM_d1x5.js +8 -0
  250. package/dist/http-Q-2xEgRf.js +14 -0
  251. package/dist/hxml-C2bnoXd-.js +8 -0
  252. package/dist/hy-S8dYOqS_.js +6 -0
  253. package/dist/imba-DzSSVziz.js +6 -0
  254. package/dist/{index-DO0Qe0Kt.js → index-BxVt53X-.js} +17103 -15864
  255. package/dist/index.d.ts +28 -4
  256. package/dist/info-46DW6VJ7-CzTI5cDT.js +5 -0
  257. package/dist/infoDiagram-SDLB2J7W-BkEUp5pe.js +22 -0
  258. package/dist/ini-Cw62c0sR.js +6 -0
  259. package/dist/init-DjUOC4st.js +16 -0
  260. package/dist/java-DNw9zkk2.js +6 -0
  261. package/dist/javascript-CXHlxgtu.js +6 -0
  262. package/dist/jinja-D3ov3d_Q.js +11 -0
  263. package/dist/jison-bKZ_ygkY.js +8 -0
  264. package/dist/journeyDiagram-D7A75E63-ByRCBusL.js +809 -0
  265. package/dist/json-D4cXEhM0.js +6 -0
  266. package/dist/json5-QDX9y-Y9.js +6 -0
  267. package/dist/jsonc-Bph7GQf8.js +6 -0
  268. package/dist/jsonl-CCrMgdQc.js +6 -0
  269. package/dist/jsonnet-SAcLllmN.js +6 -0
  270. package/dist/jssm-f8vsTkbr.js +6 -0
  271. package/dist/jsx-BYrS51r7.js +6 -0
  272. package/dist/julia-k0_CCOLn.js +16 -0
  273. package/dist/kanagawa-dragon-CiKur4Hl.js +4 -0
  274. package/dist/kanagawa-lotus-BKu-smKu.js +4 -0
  275. package/dist/kanagawa-wave-CQwozSzG.js +4 -0
  276. package/dist/kanban-definition-4GR4SRK3-C9FjXyfa.js +719 -0
  277. package/dist/kotlin-DZs3CUXT.js +6 -0
  278. package/dist/kusto-gqgW0Ct6.js +6 -0
  279. package/dist/laserwave-6a00oqik.js +4 -0
  280. package/dist/latex-ixPYeODw.js +8 -0
  281. package/dist/layout-DMOm3fPE.js +1325 -0
  282. package/dist/lean-DM2VgJqL.js +6 -0
  283. package/dist/less-I_XXVOZl.js +6 -0
  284. package/dist/light-plus-CZuVqSLX.js +4 -0
  285. package/dist/linear-vosxqUwV.js +423 -0
  286. package/dist/liquid-DQYM4OUl.js +14 -0
  287. package/dist/llvm-D3Vjgx0u.js +6 -0
  288. package/dist/log-D-MzYv1Z.js +6 -0
  289. package/dist/logo-D1k-IeHX.js +6 -0
  290. package/dist/lua-DcPVWcJ7.js +8 -0
  291. package/dist/luau-B3dL2bb0.js +6 -0
  292. package/dist/make-CR9bkdqJ.js +6 -0
  293. package/dist/markdown-w3MmBOPg.js +6 -0
  294. package/dist/marko-Dou6ix2a.js +14 -0
  295. package/dist/material-theme-D6KBX41T.js +4 -0
  296. package/dist/material-theme-darker-CkRroheE.js +4 -0
  297. package/dist/material-theme-lighter-BUBw43Yz.js +4 -0
  298. package/dist/material-theme-ocean-ClGX14Ja.js +4 -0
  299. package/dist/material-theme-palenight-C1RVm8K1.js +4 -0
  300. package/dist/matlab-Dj6qX5si.js +6 -0
  301. package/dist/mdc-Df47nGTR.js +12 -0
  302. package/dist/mdx-COYqLMfv.js +6 -0
  303. package/dist/mermaid-parser.core-num6RVDI.js +12476 -0
  304. package/dist/mermaid-qIAHIJes.js +6 -0
  305. package/dist/mermaid.core-CUpbGzSU.js +15361 -0
  306. package/dist/min-dark-C7ak0t6c.js +4 -0
  307. package/dist/min-light-CKFxVcPp.js +4 -0
  308. package/dist/mindmap-definition-7EJRZJGK-BS0DECYa.js +3220 -0
  309. package/dist/mipsasm-BJbuoeDX.js +6 -0
  310. package/dist/mojo-BFkEE7I6.js +6 -0
  311. package/dist/monokai-C1KBYcO0.js +4 -0
  312. package/dist/move-DhZIVzw9.js +6 -0
  313. package/dist/narrat-Cru3p5ML.js +6 -0
  314. package/dist/nextflow-JJGGygxI.js +6 -0
  315. package/dist/nginx-Chu4HPUZ.js +8 -0
  316. package/dist/night-owl-Bm2rzalh.js +4 -0
  317. package/dist/nim-m3ClKyoA.js +20 -0
  318. package/dist/nix-DeKhqLCs.js +6 -0
  319. package/dist/nord-CC5OiUXg.js +4 -0
  320. package/dist/nushell-vZ0whCpp.js +6 -0
  321. package/dist/objective-c-DLUrAoO7.js +6 -0
  322. package/dist/objective-cpp-BR9pz3Y7.js +6 -0
  323. package/dist/ocaml-JmaGD6hS.js +6 -0
  324. package/dist/one-dark-pro-DTA3VF0_.js +4 -0
  325. package/dist/one-light-D9sNaUtq.js +4 -0
  326. package/dist/ordinal-DfAQgscy.js +61 -0
  327. package/dist/packet-W2GHVCYJ-BGxlha7O.js +5 -0
  328. package/dist/pascal-NVmycfDo.js +6 -0
  329. package/dist/perl-Dvb6TR9K.js +16 -0
  330. package/dist/php-CJHnp_ft.js +18 -0
  331. package/dist/pie-BEWT4RHE-DWWPbog1.js +5 -0
  332. package/dist/pieDiagram-OC6WZ2SS-DyaIY5eh.js +161 -0
  333. package/dist/plastic-CSTz3KZp.js +4 -0
  334. package/dist/plsql-DMWd0imC.js +6 -0
  335. package/dist/po-GS6uwG3N.js +6 -0
  336. package/dist/poimandres-C-VADXHD.js +4 -0
  337. package/dist/polar-kLOnm3TU.js +6 -0
  338. package/dist/postcss-BHhGrjb8.js +6 -0
  339. package/dist/powerquery-CMfeLaGU.js +6 -0
  340. package/dist/powershell-D1mvJxDs.js +6 -0
  341. package/dist/prisma-pUoUFT3i.js +6 -0
  342. package/dist/prolog-DY7WzwMi.js +6 -0
  343. package/dist/proto-CNCp3VWu.js +6 -0
  344. package/dist/pug-CUZjrycK.js +12 -0
  345. package/dist/puppet-B0mgPBqt.js +6 -0
  346. package/dist/purescript-Go548NjJ.js +6 -0
  347. package/dist/python-x6NdgKMy.js +6 -0
  348. package/dist/qml-BZvDVi14.js +8 -0
  349. package/dist/qmldir-BInDYbpo.js +6 -0
  350. package/dist/qss-8QkBlVEn.js +6 -0
  351. package/dist/quadrantDiagram-OT6RYTWY-KqGbwtVf.js +1024 -0
  352. package/dist/r-HSnR3oil.js +6 -0
  353. package/dist/racket-N6wCNCGC.js +6 -0
  354. package/dist/raku-DIMO1_4D.js +6 -0
  355. package/dist/razor-B0naKaWH.js +10 -0
  356. package/dist/red-7y8PH7HH.js +4 -0
  357. package/dist/reg-6UpU0EA6.js +6 -0
  358. package/dist/regexp-DHtjPxOp.js +6 -0
  359. package/dist/rel-DBIoUiKW.js +6 -0
  360. package/dist/requirementDiagram-BKGUWIPO-B8gVW9iZ.js +850 -0
  361. package/dist/riscv-DpWk9ieM.js +6 -0
  362. package/dist/rose-pine-4uTOzEpE.js +4 -0
  363. package/dist/rose-pine-dawn-GMd81k-m.js +4 -0
  364. package/dist/rose-pine-moon-CIFp_3PJ.js +4 -0
  365. package/dist/rst-B64R6T0G.js +22 -0
  366. package/dist/ruby-DfrpdncG.js +30 -0
  367. package/dist/rust-B-KPd2nT.js +6 -0
  368. package/dist/sankeyDiagram-3MH5UGAL-CxuzhDHO.js +808 -0
  369. package/dist/sas-CJQBty5v.js +8 -0
  370. package/dist/sass-Zos2Blmo.js +6 -0
  371. package/dist/scala-7cAMYIqn.js +6 -0
  372. package/dist/scheme-BQZQETGI.js +6 -0
  373. package/dist/scss-SeF7XgZE.js +8 -0
  374. package/dist/sdbl-67k1U2sQ.js +6 -0
  375. package/dist/sequenceDiagram-C4VUPXDP-B5QnHsap.js +2281 -0
  376. package/dist/shaderlab-D-UIeqfT.js +8 -0
  377. package/dist/shellscript-DmhSIIKI.js +6 -0
  378. package/dist/shellsession-DJoY56qV.js +8 -0
  379. package/dist/slack-dark-i7wN4OET.js +4 -0
  380. package/dist/slack-ochin-ndHf0LoP.js +4 -0
  381. package/dist/smalltalk-WltKgyq1.js +6 -0
  382. package/dist/snazzy-light-BlSJXAu4.js +4 -0
  383. package/dist/solarized-dark-UTmkh7lw.js +4 -0
  384. package/dist/solarized-light-BheCkDPT.js +4 -0
  385. package/dist/solidity-C04s0Yy3.js +6 -0
  386. package/dist/soy-BLRDPjcE.js +8 -0
  387. package/dist/sparql-DTCaWUmB.js +8 -0
  388. package/dist/splunk-SGh_QiTm.js +6 -0
  389. package/dist/sql-CsvhJWkt.js +6 -0
  390. package/dist/ssh-config-D4I637-k.js +6 -0
  391. package/dist/stata-CoSdWLbd.js +8 -0
  392. package/dist/stateDiagram-BVO7J4UH-C5UzuGHi.js +270 -0
  393. package/dist/stateDiagram-v2-WR7QG3WR-DlgZMlRM.js +16 -0
  394. package/dist/stylus-C0YS3cII.js +6 -0
  395. package/dist/svelte-D5kfh286.js +14 -0
  396. package/dist/swift-DvTgPjC_.js +6 -0
  397. package/dist/synthwave-84-NU3C_KFZ.js +4 -0
  398. package/dist/system-verilog-NDUJ-OOt.js +6 -0
  399. package/dist/systemd-WbxZvB8q.js +6 -0
  400. package/dist/talonscript-CL368eRB.js +6 -0
  401. package/dist/tasl-Dz-WwaLH.js +6 -0
  402. package/dist/tcl-DlZIgGJq.js +6 -0
  403. package/dist/templ-BeQ_faiG.js +12 -0
  404. package/dist/terraform-BlQVOgpk.js +6 -0
  405. package/dist/tex-D5wZQANC.js +8 -0
  406. package/dist/timeline-definition-WOTUTIAU-CmmAwmKk.js +804 -0
  407. package/dist/tokyo-night-DP4TmcQl.js +4 -0
  408. package/dist/toml-DMRYbshZ.js +6 -0
  409. package/dist/ts-tags-BhMM8FHa.js +41 -0
  410. package/dist/tsv-BtvSkaG0.js +6 -0
  411. package/dist/tsx-D0IYuDPS.js +6 -0
  412. package/dist/turtle-p-VV8DEc.js +6 -0
  413. package/dist/twig-B7P5Ovvl.js +18 -0
  414. package/dist/typescript-DKfvlBCw.js +6 -0
  415. package/dist/typespec-CTme0-JL.js +6 -0
  416. package/dist/typst-Dn4vyooU.js +6 -0
  417. package/dist/v-D7ebitkb.js +6 -0
  418. package/dist/vala-TRtLMDHC.js +6 -0
  419. package/dist/vb-B47FrOmA.js +6 -0
  420. package/dist/verilog-B2TLsC4I.js +6 -0
  421. package/dist/vesper-BckBta1U.js +4 -0
  422. package/dist/vhdl-CU5AEtCN.js +6 -0
  423. package/dist/viml-D-fUhqVn.js +6 -0
  424. package/dist/vitesse-black-BoGvW84i.js +4 -0
  425. package/dist/vitesse-dark-Cym-eLtO.js +4 -0
  426. package/dist/vitesse-light-CcmG315c.js +4 -0
  427. package/dist/vue-CdwmeZFh.js +31 -0
  428. package/dist/vue-html-C-PRGoQQ.js +10 -0
  429. package/dist/vyper-C03y8CZF.js +6 -0
  430. package/dist/wasm-Bq8UuFo1.js +6 -0
  431. package/dist/wasm-DQxwEHae.js +7 -0
  432. package/dist/wenyan-DZPWEYbu.js +6 -0
  433. package/dist/wgsl-De1GPYf9.js +6 -0
  434. package/dist/wikitext-C-THcCj2.js +6 -0
  435. package/dist/wit-BanP67gl.js +6 -0
  436. package/dist/wolfram-CUT_U39K.js +6 -0
  437. package/dist/xml-jRL-qgj-.js +8 -0
  438. package/dist/xsl-CZWICAVO.js +8 -0
  439. package/dist/xychartDiagram-NJOKMNIP-DqY2kGQA.js +1304 -0
  440. package/dist/yaml-DcQhbMrL.js +6 -0
  441. package/dist/zenscript-8JCzLCTe.js +6 -0
  442. package/dist/zig-DhdgDxkm.js +6 -0
  443. package/package.json +36 -24
  444. package/dist/JavaScript-CPGj6jvI.js +0 -22
  445. package/dist/TypeScript-Dk8QmsMS.js +0 -22
  446. package/dist/components/icon/languages/TypeScript.vue.d.ts +0 -2
  447. package/dist/components/inline/ElmInlineCode.vue.d.ts +0 -15
@@ -6,5 +6,5 @@ export interface ElmPagetopProps {
6
6
  }
7
7
  declare const _default: import('vue').DefineComponent<ElmPagetopProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmPagetopProps> & Readonly<{}>, {
8
8
  position: "left" | "right";
9
- }, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
9
+ }, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, HTMLElement>;
10
10
  export default _default;
@@ -5,5 +5,5 @@ export interface ElmTableOfContentsProps {
5
5
  id?: string;
6
6
  }>;
7
7
  }
8
- declare const _default: import('vue').DefineComponent<ElmTableOfContentsProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableOfContentsProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
8
+ declare const _default: import('vue').DefineComponent<ElmTableOfContentsProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableOfContentsProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, HTMLElement>;
9
9
  export default _default;
@@ -0,0 +1,6 @@
1
+ import { Meta, StoryObj } from '@storybook/vue3';
2
+ import { default as ElmColorSample } from './ElmColorSample.vue';
3
+ declare const meta: Meta<typeof ElmColorSample>;
4
+ export default meta;
5
+ type Story = StoryObj<typeof meta>;
6
+ export declare const Primary: Story;
@@ -0,0 +1,8 @@
1
+ export interface ElmColorSampleProps {
2
+ /**
3
+ * The color to display.
4
+ */
5
+ color: string;
6
+ }
7
+ declare const _default: import('vue').DefineComponent<ElmColorSampleProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmColorSampleProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, HTMLDivElement>;
8
+ export default _default;
@@ -0,0 +1,6 @@
1
+ import { Meta, StoryObj } from '@storybook/vue3';
2
+ import { default as ElmColorTable } from './ElmColorTable.vue';
3
+ declare const meta: Meta<typeof ElmColorTable>;
4
+ export default meta;
5
+ type Story = StoryObj<typeof meta>;
6
+ export declare const Primary: Story;
@@ -0,0 +1,11 @@
1
+ export interface ElmColorTableProps {
2
+ /**
3
+ * The colors to display.
4
+ */
5
+ colors: {
6
+ name: string;
7
+ code: string;
8
+ }[];
9
+ }
10
+ declare const _default: import('vue').DefineComponent<ElmColorTableProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmColorTableProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, HTMLDivElement>;
11
+ export default _default;
@@ -0,0 +1,6 @@
1
+ import { Meta, StoryObj } from '@storybook/vue3';
2
+ import { default as ElmTyping } from './ElmTyping.vue';
3
+ declare const meta: Meta<typeof ElmTyping>;
4
+ export default meta;
5
+ type Story = StoryObj<typeof meta>;
6
+ export declare const Primary: Story;
@@ -0,0 +1,4 @@
1
+ export interface ElmTypingProps {
2
+ }
3
+ declare const _default: import('vue').DefineComponent<ElmTypingProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTypingProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
4
+ export default _default;
@@ -1,5 +1,4 @@
1
1
  import { ElmInlineTextProps } from '../inline/ElmInlineText.vue';
2
- import { ElmInlineCodeProps } from '../inline/ElmInlineCode.vue';
3
2
  import { ElmInlineLinkProps } from '../inline/ElmInlineLink.vue';
4
3
  import { ElmCalloutProps } from '../typography/ElmCallout.vue';
5
4
  import { ElmBulletedListProps } from '../typography/ElmBulletedList.vue';
@@ -28,134 +27,160 @@ import { ElmCheckboxProps } from '../form/ElmCheckbox.vue';
28
27
  import { ElmFileProps } from '../media/ElmFile.vue';
29
28
  import { ElmColumnProps } from '../containments/ElmColumn.vue';
30
29
  import { ElmColumnListProps } from '../containments/ElmColumnList.vue';
31
- type ComponentType = 'ElmInlineText' | 'ElmInlineCode' | 'ElmInlineLink' | 'ElmCallout' | 'ElmBulletedList' | 'ElmNumberedList' | 'ElmListItem' | 'ElmBlockQuote' | 'ElmDivider' | 'ElmHeading1' | 'ElmHeading2' | 'ElmHeading3' | 'ElmHeading4' | 'ElmHeading5' | 'ElmHeading6' | 'ElmCodeBlock' | 'ElmParagraph' | 'ElmTable' | 'ElmTableHeader' | 'ElmTableBody' | 'ElmTableRow' | 'ElmTableCell' | 'ElmKatex' | 'ElmImage' | 'ElmBookmark' | 'ElmToggle' | 'ElmCheckbox' | 'ElmFile' | 'ElmColumn' | 'ElmColumnList';
32
- type ComponentProps = ElmInlineTextProps | ElmInlineCodeProps | ElmInlineLinkProps | ElmCalloutProps | ElmBulletedListProps | ElmNumberedListProps | ElmListItemProps | ElmBlockQuoteProps | ElmDividerProps | ElmHeading1Props | ElmHeading2Props | ElmHeading3Props | ElmHeading4Props | ElmHeading5Props | ElmHeading6Props | ElmCodeBlockProps | ElmParagraphProps | ElmTableProps | ElmTableHeaderProps | ElmTableBodyProps | ElmTableRowProps | ElmTableCellProps | ElmKatexProps | ElmImageProps | ElmBookmarkProps | ElmToggleProps | ElmCheckboxProps | ElmFileProps | ElmColumnProps | ElmColumnListProps;
30
+ type ComponentType = 'ElmInlineText' | 'ElmInlineLink' | 'ElmCallout' | 'ElmBulletedList' | 'ElmNumberedList' | 'ElmListItem' | 'ElmBlockQuote' | 'ElmDivider' | 'ElmHeading1' | 'ElmHeading2' | 'ElmHeading3' | 'ElmHeading4' | 'ElmHeading5' | 'ElmHeading6' | 'ElmCodeBlock' | 'ElmParagraph' | 'ElmTable' | 'ElmTableHeader' | 'ElmTableBody' | 'ElmTableRow' | 'ElmTableCell' | 'ElmKatex' | 'ElmImage' | 'ElmBookmark' | 'ElmToggle' | 'ElmCheckbox' | 'ElmFile' | 'ElmColumn' | 'ElmColumnList';
31
+ type ComponentProps = ElmInlineTextProps | ElmInlineLinkProps | ElmCalloutProps | ElmBulletedListProps | ElmNumberedListProps | ElmListItemProps | ElmBlockQuoteProps | ElmDividerProps | ElmHeading1Props | ElmHeading2Props | ElmHeading3Props | ElmHeading4Props | ElmHeading5Props | ElmHeading6Props | ElmCodeBlockProps | ElmParagraphProps | ElmTableProps | ElmTableHeaderProps | ElmTableBodyProps | ElmTableRowProps | ElmTableCellProps | ElmKatexProps | ElmImageProps | ElmBookmarkProps | ElmToggleProps | ElmCheckboxProps | ElmFileProps | ElmColumnProps | ElmColumnListProps;
33
32
  interface JsonComponentBase {
34
33
  type: ComponentType;
34
+ id?: string;
35
35
  props?: ComponentProps;
36
36
  children?: JsonComponent[];
37
37
  }
38
38
  interface ElmInlineTextJsonComponent extends JsonComponentBase {
39
39
  type: 'ElmInlineText';
40
+ id?: string;
40
41
  props?: ElmInlineTextProps;
41
42
  }
42
- interface ElmInlineCodeJsonComponent extends JsonComponentBase {
43
- type: 'ElmInlineCode';
44
- props?: ElmInlineCodeProps;
45
- }
46
43
  interface ElmInlineLinkJsonComponent extends JsonComponentBase {
47
44
  type: 'ElmInlineLink';
45
+ id?: string;
48
46
  props?: ElmInlineLinkProps;
49
47
  }
50
48
  interface ElmCalloutJsonComponent extends JsonComponentBase {
51
49
  type: 'ElmCallout';
50
+ id?: string;
52
51
  props?: ElmCalloutProps;
53
52
  }
54
53
  interface ElmBulletedListJsonComponent extends JsonComponentBase {
55
54
  type: 'ElmBulletedList';
55
+ id?: string;
56
56
  props?: ElmBulletedListProps;
57
57
  }
58
58
  interface ElmNumberedListJsonComponent extends JsonComponentBase {
59
59
  type: 'ElmNumberedList';
60
+ id?: string;
60
61
  props?: ElmNumberedListProps;
61
62
  }
62
63
  interface ElmListItemJsonComponent extends JsonComponentBase {
63
64
  type: 'ElmListItem';
65
+ id?: string;
64
66
  props?: ElmListItemProps;
65
67
  }
66
68
  interface ElmBlockQuoteJsonComponent extends JsonComponentBase {
67
69
  type: 'ElmBlockQuote';
70
+ id?: string;
68
71
  props?: ElmBlockQuoteProps;
69
72
  }
70
73
  interface ElmDividerJsonComponent extends JsonComponentBase {
71
74
  type: 'ElmDivider';
75
+ id?: string;
72
76
  props?: ElmDividerProps;
73
77
  }
74
78
  interface ElmHeading1JsonComponent extends JsonComponentBase {
75
79
  type: 'ElmHeading1';
80
+ id?: string;
76
81
  props?: ElmHeading1Props;
77
82
  }
78
83
  interface ElmHeading2JsonComponent extends JsonComponentBase {
79
84
  type: 'ElmHeading2';
85
+ id?: string;
80
86
  props?: ElmHeading2Props;
81
87
  }
82
88
  interface ElmHeading3JsonComponent extends JsonComponentBase {
83
89
  type: 'ElmHeading3';
90
+ id?: string;
84
91
  props?: ElmHeading3Props;
85
92
  }
86
93
  interface ElmHeading4JsonComponent extends JsonComponentBase {
87
94
  type: 'ElmHeading4';
95
+ id?: string;
88
96
  props?: ElmHeading4Props;
89
97
  }
90
98
  interface ElmHeading5JsonComponent extends JsonComponentBase {
91
99
  type: 'ElmHeading5';
100
+ id?: string;
92
101
  props?: ElmHeading5Props;
93
102
  }
94
103
  interface ElmHeading6JsonComponent extends JsonComponentBase {
95
104
  type: 'ElmHeading6';
105
+ id?: string;
96
106
  props?: ElmHeading6Props;
97
107
  }
98
108
  interface ElmCodeBlockJsonComponent extends JsonComponentBase {
99
109
  type: 'ElmCodeBlock';
110
+ id?: string;
100
111
  props?: ElmCodeBlockProps;
101
112
  }
102
113
  interface ElmParagraphJsonComponent extends JsonComponentBase {
103
114
  type: 'ElmParagraph';
115
+ id?: string;
104
116
  props?: ElmParagraphProps;
105
117
  }
106
118
  interface ElmTableJsonComponent extends JsonComponentBase {
107
119
  type: 'ElmTable';
120
+ id?: string;
108
121
  props?: ElmTableProps;
109
122
  }
110
123
  interface ElmTableHeaderJsonComponent extends JsonComponentBase {
111
124
  type: 'ElmTableHeader';
125
+ id?: string;
112
126
  props?: ElmTableHeaderProps;
113
127
  }
114
128
  interface ElmTableBodyJsonComponent extends JsonComponentBase {
115
129
  type: 'ElmTableBody';
130
+ id?: string;
116
131
  props?: ElmTableBodyProps;
117
132
  }
118
133
  interface ElmTableRowJsonComponent extends JsonComponentBase {
119
134
  type: 'ElmTableRow';
135
+ id?: string;
120
136
  props?: ElmTableRowProps;
121
137
  }
122
138
  interface ElmTableCellJsonComponent extends JsonComponentBase {
123
139
  type: 'ElmTableCell';
140
+ id?: string;
124
141
  props?: ElmTableCellProps;
125
142
  }
126
143
  interface ElmKatexJsonComponent extends JsonComponentBase {
127
144
  type: 'ElmKatex';
145
+ id?: string;
128
146
  props?: ElmKatexProps;
129
147
  }
130
148
  interface ElmImageJsonComponent extends JsonComponentBase {
131
149
  type: 'ElmImage';
150
+ id?: string;
132
151
  props?: ElmImageProps;
133
152
  }
134
153
  interface ElmBookmarkJsonComponent extends JsonComponentBase {
135
154
  type: 'ElmBookmark';
155
+ id?: string;
136
156
  props?: ElmBookmarkProps;
137
157
  }
138
158
  interface ElmToggleJsonComponent extends JsonComponentBase {
139
159
  type: 'ElmToggle';
160
+ id?: string;
140
161
  props?: ElmToggleProps;
141
162
  }
142
163
  interface ElmCheckboxJsonComponent extends JsonComponentBase {
143
164
  type: 'ElmCheckbox';
165
+ id?: string;
144
166
  props?: ElmCheckboxProps;
145
167
  }
146
168
  interface ElmFileJsonComponent extends JsonComponentBase {
147
169
  type: 'ElmFile';
170
+ id?: string;
148
171
  props?: ElmFileProps;
149
172
  }
150
173
  interface ElmColumnJsonComponent extends JsonComponentBase {
151
174
  type: 'ElmColumn';
175
+ id?: string;
152
176
  props?: ElmColumnProps;
153
177
  }
154
178
  interface ElmColumnListJsonComponent extends JsonComponentBase {
155
179
  type: 'ElmColumnList';
180
+ id?: string;
156
181
  props?: ElmColumnListProps;
157
182
  }
158
- type JsonComponent = ElmInlineTextJsonComponent | ElmInlineCodeJsonComponent | ElmInlineLinkJsonComponent | ElmCalloutJsonComponent | ElmBulletedListJsonComponent | ElmNumberedListJsonComponent | ElmListItemJsonComponent | ElmBlockQuoteJsonComponent | ElmDividerJsonComponent | ElmHeading1JsonComponent | ElmHeading2JsonComponent | ElmHeading3JsonComponent | ElmHeading4JsonComponent | ElmHeading5JsonComponent | ElmHeading6JsonComponent | ElmCodeBlockJsonComponent | ElmParagraphJsonComponent | ElmTableJsonComponent | ElmTableHeaderJsonComponent | ElmTableBodyJsonComponent | ElmTableRowJsonComponent | ElmTableCellJsonComponent | ElmKatexJsonComponent | ElmImageJsonComponent | ElmBookmarkJsonComponent | ElmToggleJsonComponent | ElmCheckboxJsonComponent | ElmFileJsonComponent | ElmColumnJsonComponent | ElmColumnListJsonComponent;
183
+ type JsonComponent = ElmInlineTextJsonComponent | ElmInlineLinkJsonComponent | ElmCalloutJsonComponent | ElmBulletedListJsonComponent | ElmNumberedListJsonComponent | ElmListItemJsonComponent | ElmBlockQuoteJsonComponent | ElmDividerJsonComponent | ElmHeading1JsonComponent | ElmHeading2JsonComponent | ElmHeading3JsonComponent | ElmHeading4JsonComponent | ElmHeading5JsonComponent | ElmHeading6JsonComponent | ElmCodeBlockJsonComponent | ElmParagraphJsonComponent | ElmTableJsonComponent | ElmTableHeaderJsonComponent | ElmTableBodyJsonComponent | ElmTableRowJsonComponent | ElmTableCellJsonComponent | ElmKatexJsonComponent | ElmImageJsonComponent | ElmBookmarkJsonComponent | ElmToggleJsonComponent | ElmCheckboxJsonComponent | ElmFileJsonComponent | ElmColumnJsonComponent | ElmColumnListJsonComponent;
159
184
  export interface ElmJsonRendererProps {
160
185
  json: JsonComponent[];
161
186
  }
@@ -0,0 +1,3 @@
1
+ import { ElmJsonRendererProps } from './ElmJsonRenderer.vue';
2
+ declare const _default: import('vue').DefineComponent<ElmJsonRendererProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmJsonRendererProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
3
+ export default _default;
@@ -1,14 +1,20 @@
1
+ import { Property } from 'csstype';
1
2
  export interface ElmTableProps {
3
+ /**
4
+ * The margin of the table.
5
+ */
6
+ margin?: Property.MarginBlock;
2
7
  }
3
8
  declare function __VLS_template(): {
9
+ attrs: Partial<{}>;
4
10
  slots: {
5
11
  default?(_: {}): any;
6
12
  };
7
13
  refs: {};
8
- attrs: Partial<{}>;
14
+ rootEl: HTMLTableElement;
9
15
  };
10
16
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
11
- declare const __VLS_component: import('vue').DefineComponent<ElmTableProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
17
+ declare const __VLS_component: import('vue').DefineComponent<ElmTableProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, HTMLTableElement>;
12
18
  declare const _default: __VLS_WithTemplateSlots<typeof __VLS_component, __VLS_TemplateResult["slots"]>;
13
19
  export default _default;
14
20
  type __VLS_WithTemplateSlots<T, S> = T & {
@@ -1,14 +1,15 @@
1
1
  export interface ElmTableBodyProps {
2
2
  }
3
3
  declare function __VLS_template(): {
4
+ attrs: Partial<{}>;
4
5
  slots: {
5
6
  default?(_: {}): any;
6
7
  };
7
8
  refs: {};
8
- attrs: Partial<{}>;
9
+ rootEl: HTMLTableSectionElement;
9
10
  };
10
11
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
11
- declare const __VLS_component: import('vue').DefineComponent<ElmTableBodyProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableBodyProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
12
+ declare const __VLS_component: import('vue').DefineComponent<ElmTableBodyProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableBodyProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, HTMLTableSectionElement>;
12
13
  declare const _default: __VLS_WithTemplateSlots<typeof __VLS_component, __VLS_TemplateResult["slots"]>;
13
14
  export default _default;
14
15
  type __VLS_WithTemplateSlots<T, S> = T & {
@@ -10,11 +10,12 @@ export interface ElmTableCellProps {
10
10
  text?: string;
11
11
  }
12
12
  declare function __VLS_template(): {
13
+ attrs: Partial<{}>;
13
14
  slots: {
14
15
  default?(_: {}): any;
15
16
  };
16
17
  refs: {};
17
- attrs: Partial<{}>;
18
+ rootEl: any;
18
19
  };
19
20
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
20
21
  declare const __VLS_component: import('vue').DefineComponent<ElmTableCellProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableCellProps> & Readonly<{}>, {
@@ -1,14 +1,15 @@
1
1
  export interface ElmTableHeaderProps {
2
2
  }
3
3
  declare function __VLS_template(): {
4
+ attrs: Partial<{}>;
4
5
  slots: {
5
6
  default?(_: {}): any;
6
7
  };
7
8
  refs: {};
8
- attrs: Partial<{}>;
9
+ rootEl: HTMLTableSectionElement;
9
10
  };
10
11
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
11
- declare const __VLS_component: import('vue').DefineComponent<ElmTableHeaderProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableHeaderProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
12
+ declare const __VLS_component: import('vue').DefineComponent<ElmTableHeaderProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableHeaderProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, HTMLTableSectionElement>;
12
13
  declare const _default: __VLS_WithTemplateSlots<typeof __VLS_component, __VLS_TemplateResult["slots"]>;
13
14
  export default _default;
14
15
  type __VLS_WithTemplateSlots<T, S> = T & {
@@ -1,14 +1,15 @@
1
1
  export interface ElmTableRowProps {
2
2
  }
3
3
  declare function __VLS_template(): {
4
+ attrs: Partial<{}>;
4
5
  slots: {
5
6
  default?(_: {}): any;
6
7
  };
7
8
  refs: {};
8
- attrs: Partial<{}>;
9
+ rootEl: HTMLTableRowElement;
9
10
  };
10
11
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
11
- declare const __VLS_component: import('vue').DefineComponent<ElmTableRowProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableRowProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
12
+ declare const __VLS_component: import('vue').DefineComponent<ElmTableRowProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTableRowProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, HTMLTableRowElement>;
12
13
  declare const _default: __VLS_WithTemplateSlots<typeof __VLS_component, __VLS_TemplateResult["slots"]>;
13
14
  export default _default;
14
15
  type __VLS_WithTemplateSlots<T, S> = T & {
@@ -1,4 +1,4 @@
1
1
  export interface ElmTemplateProps {
2
2
  }
3
- declare const _default: import('vue').DefineComponent<ElmTemplateProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTemplateProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
3
+ declare const _default: import('vue').DefineComponent<ElmTemplateProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmTemplateProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, HTMLDivElement>;
4
4
  export default _default;
@@ -1,16 +1,19 @@
1
1
  export interface ElmBlockQuoteProps {
2
2
  }
3
3
  declare function __VLS_template(): {
4
+ attrs: Partial<{}>;
4
5
  slots: {
5
6
  default?(_: {}): any;
6
7
  };
7
8
  refs: {
8
9
  target: HTMLQuoteElement;
9
10
  };
10
- attrs: Partial<{}>;
11
+ rootEl: HTMLQuoteElement;
11
12
  };
12
13
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
13
- declare const __VLS_component: import('vue').DefineComponent<ElmBlockQuoteProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmBlockQuoteProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
14
+ declare const __VLS_component: import('vue').DefineComponent<ElmBlockQuoteProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmBlockQuoteProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {
15
+ target: HTMLQuoteElement;
16
+ }, HTMLQuoteElement>;
14
17
  declare const _default: __VLS_WithTemplateSlots<typeof __VLS_component, __VLS_TemplateResult["slots"]>;
15
18
  export default _default;
16
19
  type __VLS_WithTemplateSlots<T, S> = T & {
@@ -1,16 +1,19 @@
1
1
  export interface ElmBulletedListProps {
2
2
  }
3
3
  declare function __VLS_template(): {
4
+ attrs: Partial<{}>;
4
5
  slots: {
5
6
  default?(_: {}): any;
6
7
  };
7
8
  refs: {
8
9
  target: HTMLUListElement;
9
10
  };
10
- attrs: Partial<{}>;
11
+ rootEl: HTMLUListElement;
11
12
  };
12
13
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
13
- declare const __VLS_component: import('vue').DefineComponent<ElmBulletedListProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmBulletedListProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
14
+ declare const __VLS_component: import('vue').DefineComponent<ElmBulletedListProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmBulletedListProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {
15
+ target: HTMLUListElement;
16
+ }, HTMLUListElement>;
14
17
  declare const _default: __VLS_WithTemplateSlots<typeof __VLS_component, __VLS_TemplateResult["slots"]>;
15
18
  export default _default;
16
19
  type __VLS_WithTemplateSlots<T, S> = T & {
@@ -6,18 +6,21 @@ export interface ElmCalloutProps {
6
6
  type?: AlertType;
7
7
  }
8
8
  declare function __VLS_template(): {
9
+ attrs: Partial<{}>;
9
10
  slots: {
10
11
  default?(_: {}): any;
11
12
  };
12
13
  refs: {
13
14
  target: HTMLElement;
14
15
  };
15
- attrs: Partial<{}>;
16
+ rootEl: HTMLElement;
16
17
  };
17
18
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
18
19
  declare const __VLS_component: import('vue').DefineComponent<ElmCalloutProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmCalloutProps> & Readonly<{}>, {
19
20
  type: AlertType;
20
- }, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
21
+ }, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {
22
+ target: HTMLElement;
23
+ }, HTMLElement>;
21
24
  declare const _default: __VLS_WithTemplateSlots<typeof __VLS_component, __VLS_TemplateResult["slots"]>;
22
25
  export default _default;
23
26
  type __VLS_WithTemplateSlots<T, S> = T & {
@@ -1,4 +1,11 @@
1
+ import { Property } from 'csstype';
1
2
  export interface ElmDividerProps {
3
+ /**
4
+ * The margin of the divider.
5
+ */
6
+ margin?: Property.MarginBlock;
2
7
  }
3
- declare const _default: import('vue').DefineComponent<ElmDividerProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmDividerProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
8
+ declare const _default: import('vue').DefineComponent<ElmDividerProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmDividerProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {
9
+ target: HTMLHRElement;
10
+ }, HTMLHRElement>;
4
11
  export default _default;
@@ -1,14 +1,15 @@
1
1
  export interface ElmListItemProps {
2
2
  }
3
3
  declare function __VLS_template(): {
4
+ attrs: Partial<{}>;
4
5
  slots: {
5
6
  default?(_: {}): any;
6
7
  };
7
8
  refs: {};
8
- attrs: Partial<{}>;
9
+ rootEl: HTMLLIElement;
9
10
  };
10
11
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
11
- declare const __VLS_component: import('vue').DefineComponent<ElmListItemProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmListItemProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
12
+ declare const __VLS_component: import('vue').DefineComponent<ElmListItemProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmListItemProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, HTMLLIElement>;
12
13
  declare const _default: __VLS_WithTemplateSlots<typeof __VLS_component, __VLS_TemplateResult["slots"]>;
13
14
  export default _default;
14
15
  type __VLS_WithTemplateSlots<T, S> = T & {
@@ -1,16 +1,19 @@
1
1
  export interface ElmNumberedListProps {
2
2
  }
3
3
  declare function __VLS_template(): {
4
+ attrs: Partial<{}>;
4
5
  slots: {
5
6
  default?(_: {}): any;
6
7
  };
7
8
  refs: {
8
9
  target: HTMLOListElement;
9
10
  };
10
- attrs: Partial<{}>;
11
+ rootEl: HTMLOListElement;
11
12
  };
12
13
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
13
- declare const __VLS_component: import('vue').DefineComponent<ElmNumberedListProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmNumberedListProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
14
+ declare const __VLS_component: import('vue').DefineComponent<ElmNumberedListProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmNumberedListProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {
15
+ target: HTMLOListElement;
16
+ }, HTMLOListElement>;
14
17
  declare const _default: __VLS_WithTemplateSlots<typeof __VLS_component, __VLS_TemplateResult["slots"]>;
15
18
  export default _default;
16
19
  type __VLS_WithTemplateSlots<T, S> = T & {
@@ -1,16 +1,19 @@
1
1
  export interface ElmParagraphProps {
2
2
  }
3
3
  declare function __VLS_template(): {
4
+ attrs: Partial<{}>;
4
5
  slots: {
5
6
  default?(_: {}): any;
6
7
  };
7
8
  refs: {
8
9
  target: HTMLParagraphElement;
9
10
  };
10
- attrs: Partial<{}>;
11
+ rootEl: HTMLParagraphElement;
11
12
  };
12
13
  type __VLS_TemplateResult = ReturnType<typeof __VLS_template>;
13
- declare const __VLS_component: import('vue').DefineComponent<ElmParagraphProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmParagraphProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {}, any>;
14
+ declare const __VLS_component: import('vue').DefineComponent<ElmParagraphProps, {}, {}, {}, {}, import('vue').ComponentOptionsMixin, import('vue').ComponentOptionsMixin, {}, string, import('vue').PublicProps, Readonly<ElmParagraphProps> & Readonly<{}>, {}, {}, {}, {}, string, import('vue').ComponentProvideOptions, false, {
15
+ target: HTMLParagraphElement;
16
+ }, HTMLParagraphElement>;
14
17
  declare const _default: __VLS_WithTemplateSlots<typeof __VLS_component, __VLS_TemplateResult["slots"]>;
15
18
  export default _default;
16
19
  type __VLS_WithTemplateSlots<T, S> = T & {
@@ -0,0 +1,6 @@
1
+ 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}_ ])([\\\\p{L}0-9_ '])*)"},{"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}_ ])([\\\\p{L}0-9_ '])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([\\\\p{L}_ ])([\\\\p{L}0-9_ '])*)"},{"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+Fixpoint|\\\\s+CoFixpoint)?|Instance|Equations|Equations?)\\\\s+(([\\\\p{L}_ ])([\\\\p{L}0-9_ '])*)"},{"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}_ ])([\\\\p{L}0-9_ '])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([\\\\p{L}_ ])([\\\\p{L}0-9_ '])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac|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|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intro|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|exist|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 = [
2
+ e
3
+ ];
4
+ export {
5
+ t as default
6
+ };