@stevenvo780/st-lang 4.10.0 → 4.12.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 (329) hide show
  1. package/dist/proof-systems/distributed-exchange/index.d.ts +101 -0
  2. package/dist/proof-systems/distributed-exchange/index.d.ts.map +1 -0
  3. package/dist/proof-systems/distributed-exchange/index.js +408 -0
  4. package/dist/proof-systems/distributed-exchange/index.js.map +1 -0
  5. package/dist/proof-systems/fol-prover-advanced/index.d.ts +7 -0
  6. package/dist/proof-systems/fol-prover-advanced/index.d.ts.map +1 -0
  7. package/dist/proof-systems/fol-prover-advanced/index.js +34 -0
  8. package/dist/proof-systems/fol-prover-advanced/index.js.map +1 -0
  9. package/dist/proof-systems/fol-prover-advanced/ordering.d.ts +34 -0
  10. package/dist/proof-systems/fol-prover-advanced/ordering.d.ts.map +1 -0
  11. package/dist/proof-systems/fol-prover-advanced/ordering.js +197 -0
  12. package/dist/proof-systems/fol-prover-advanced/ordering.js.map +1 -0
  13. package/dist/proof-systems/fol-prover-advanced/prover.d.ts +22 -0
  14. package/dist/proof-systems/fol-prover-advanced/prover.d.ts.map +1 -0
  15. package/dist/proof-systems/fol-prover-advanced/prover.js +219 -0
  16. package/dist/proof-systems/fol-prover-advanced/prover.js.map +1 -0
  17. package/dist/proof-systems/fol-prover-advanced/resolve.d.ts +43 -0
  18. package/dist/proof-systems/fol-prover-advanced/resolve.d.ts.map +1 -0
  19. package/dist/proof-systems/fol-prover-advanced/resolve.js +297 -0
  20. package/dist/proof-systems/fol-prover-advanced/resolve.js.map +1 -0
  21. package/dist/proof-systems/fol-prover-advanced/subsumption.d.ts +28 -0
  22. package/dist/proof-systems/fol-prover-advanced/subsumption.d.ts.map +1 -0
  23. package/dist/proof-systems/fol-prover-advanced/subsumption.js +172 -0
  24. package/dist/proof-systems/fol-prover-advanced/subsumption.js.map +1 -0
  25. package/dist/proof-systems/fol-prover-advanced/types.d.ts +68 -0
  26. package/dist/proof-systems/fol-prover-advanced/types.d.ts.map +1 -0
  27. package/dist/proof-systems/fol-prover-advanced/types.js +12 -0
  28. package/dist/proof-systems/fol-prover-advanced/types.js.map +1 -0
  29. package/dist/proof-systems/fol-prover-advanced/unify.d.ts +15 -0
  30. package/dist/proof-systems/fol-prover-advanced/unify.d.ts.map +1 -0
  31. package/dist/proof-systems/fol-prover-advanced/unify.js +144 -0
  32. package/dist/proof-systems/fol-prover-advanced/unify.js.map +1 -0
  33. package/dist/reasoning/combinatorics/basic-counts.d.ts +6 -0
  34. package/dist/reasoning/combinatorics/basic-counts.d.ts.map +1 -0
  35. package/dist/reasoning/combinatorics/basic-counts.js +82 -0
  36. package/dist/reasoning/combinatorics/basic-counts.js.map +1 -0
  37. package/dist/reasoning/combinatorics/bigint-helpers.d.ts +5 -0
  38. package/dist/reasoning/combinatorics/bigint-helpers.d.ts.map +1 -0
  39. package/dist/reasoning/combinatorics/bigint-helpers.js +8 -0
  40. package/dist/reasoning/combinatorics/bigint-helpers.js.map +1 -0
  41. package/dist/reasoning/combinatorics/burnside.d.ts +15 -0
  42. package/dist/reasoning/combinatorics/burnside.d.ts.map +1 -0
  43. package/dist/reasoning/combinatorics/burnside.js +91 -0
  44. package/dist/reasoning/combinatorics/burnside.js.map +1 -0
  45. package/dist/reasoning/combinatorics/generating-functions.d.ts +12 -0
  46. package/dist/reasoning/combinatorics/generating-functions.d.ts.map +1 -0
  47. package/dist/reasoning/combinatorics/generating-functions.js +67 -0
  48. package/dist/reasoning/combinatorics/generating-functions.js.map +1 -0
  49. package/dist/reasoning/combinatorics/generators.d.ts +5 -0
  50. package/dist/reasoning/combinatorics/generators.d.ts.map +1 -0
  51. package/dist/reasoning/combinatorics/generators.js +111 -0
  52. package/dist/reasoning/combinatorics/generators.js.map +1 -0
  53. package/dist/reasoning/combinatorics/inclusion-exclusion.d.ts +8 -0
  54. package/dist/reasoning/combinatorics/inclusion-exclusion.d.ts.map +1 -0
  55. package/dist/reasoning/combinatorics/inclusion-exclusion.js +45 -0
  56. package/dist/reasoning/combinatorics/inclusion-exclusion.js.map +1 -0
  57. package/dist/reasoning/combinatorics/index.d.ts +10 -0
  58. package/dist/reasoning/combinatorics/index.d.ts.map +1 -0
  59. package/dist/reasoning/combinatorics/index.js +44 -0
  60. package/dist/reasoning/combinatorics/index.js.map +1 -0
  61. package/dist/reasoning/combinatorics/partitions.d.ts +4 -0
  62. package/dist/reasoning/combinatorics/partitions.d.ts.map +1 -0
  63. package/dist/reasoning/combinatorics/partitions.js +90 -0
  64. package/dist/reasoning/combinatorics/partitions.js.map +1 -0
  65. package/dist/reasoning/combinatorics/permutations.d.ts +6 -0
  66. package/dist/reasoning/combinatorics/permutations.d.ts.map +1 -0
  67. package/dist/reasoning/combinatorics/permutations.js +124 -0
  68. package/dist/reasoning/combinatorics/permutations.js.map +1 -0
  69. package/dist/reasoning/combinatorics/set-partitions.d.ts +3 -0
  70. package/dist/reasoning/combinatorics/set-partitions.d.ts.map +1 -0
  71. package/dist/reasoning/combinatorics/set-partitions.js +46 -0
  72. package/dist/reasoning/combinatorics/set-partitions.js.map +1 -0
  73. package/dist/reasoning/combinatorics/special-numbers.d.ts +7 -0
  74. package/dist/reasoning/combinatorics/special-numbers.d.ts.map +1 -0
  75. package/dist/reasoning/combinatorics/special-numbers.js +128 -0
  76. package/dist/reasoning/combinatorics/special-numbers.js.map +1 -0
  77. package/dist/reasoning/constructive-analysis/cauchy.d.ts +51 -0
  78. package/dist/reasoning/constructive-analysis/cauchy.d.ts.map +1 -0
  79. package/dist/reasoning/constructive-analysis/cauchy.js +77 -0
  80. package/dist/reasoning/constructive-analysis/cauchy.js.map +1 -0
  81. package/dist/reasoning/constructive-analysis/compact.d.ts +35 -0
  82. package/dist/reasoning/constructive-analysis/compact.d.ts.map +1 -0
  83. package/dist/reasoning/constructive-analysis/compact.js +61 -0
  84. package/dist/reasoning/constructive-analysis/compact.js.map +1 -0
  85. package/dist/reasoning/constructive-analysis/continuity.d.ts +62 -0
  86. package/dist/reasoning/constructive-analysis/continuity.d.ts.map +1 -0
  87. package/dist/reasoning/constructive-analysis/continuity.js +112 -0
  88. package/dist/reasoning/constructive-analysis/continuity.js.map +1 -0
  89. package/dist/reasoning/constructive-analysis/index.d.ts +24 -0
  90. package/dist/reasoning/constructive-analysis/index.d.ts.map +1 -0
  91. package/dist/reasoning/constructive-analysis/index.js +36 -0
  92. package/dist/reasoning/constructive-analysis/index.js.map +1 -0
  93. package/dist/reasoning/constructive-analysis/integral.d.ts +31 -0
  94. package/dist/reasoning/constructive-analysis/integral.d.ts.map +1 -0
  95. package/dist/reasoning/constructive-analysis/integral.js +59 -0
  96. package/dist/reasoning/constructive-analysis/integral.js.map +1 -0
  97. package/dist/reasoning/constructive-analysis/ivt.d.ts +41 -0
  98. package/dist/reasoning/constructive-analysis/ivt.d.ts.map +1 -0
  99. package/dist/reasoning/constructive-analysis/ivt.js +115 -0
  100. package/dist/reasoning/constructive-analysis/ivt.js.map +1 -0
  101. package/dist/reasoning/constructive-reals/index.d.ts +23 -0
  102. package/dist/reasoning/constructive-reals/index.d.ts.map +1 -1
  103. package/dist/reasoning/constructive-reals/index.js +52 -1
  104. package/dist/reasoning/constructive-reals/index.js.map +1 -1
  105. package/dist/reasoning/graph-theory/index.d.ts +63 -0
  106. package/dist/reasoning/graph-theory/index.d.ts.map +1 -0
  107. package/dist/reasoning/graph-theory/index.js +1043 -0
  108. package/dist/reasoning/graph-theory/index.js.map +1 -0
  109. package/dist/reasoning/group-presentation/cayley.d.ts +8 -0
  110. package/dist/reasoning/group-presentation/cayley.d.ts.map +1 -0
  111. package/dist/reasoning/group-presentation/cayley.js +38 -0
  112. package/dist/reasoning/group-presentation/cayley.js.map +1 -0
  113. package/dist/reasoning/group-presentation/index.d.ts +8 -0
  114. package/dist/reasoning/group-presentation/index.d.ts.map +1 -0
  115. package/dist/reasoning/group-presentation/index.js +36 -0
  116. package/dist/reasoning/group-presentation/index.js.map +1 -0
  117. package/dist/reasoning/group-presentation/standard-groups.d.ts +6 -0
  118. package/dist/reasoning/group-presentation/standard-groups.d.ts.map +1 -0
  119. package/dist/reasoning/group-presentation/standard-groups.js +93 -0
  120. package/dist/reasoning/group-presentation/standard-groups.js.map +1 -0
  121. package/dist/reasoning/group-presentation/todd-coxeter.d.ts +10 -0
  122. package/dist/reasoning/group-presentation/todd-coxeter.d.ts.map +1 -0
  123. package/dist/reasoning/group-presentation/todd-coxeter.js +362 -0
  124. package/dist/reasoning/group-presentation/todd-coxeter.js.map +1 -0
  125. package/dist/reasoning/group-presentation/types.d.ts +7 -0
  126. package/dist/reasoning/group-presentation/types.d.ts.map +1 -0
  127. package/dist/reasoning/group-presentation/types.js +22 -0
  128. package/dist/reasoning/group-presentation/types.js.map +1 -0
  129. package/dist/reasoning/group-presentation/words.d.ts +10 -0
  130. package/dist/reasoning/group-presentation/words.d.ts.map +1 -0
  131. package/dist/reasoning/group-presentation/words.js +109 -0
  132. package/dist/reasoning/group-presentation/words.js.map +1 -0
  133. package/dist/reasoning/linear-algebra/index.d.ts +69 -0
  134. package/dist/reasoning/linear-algebra/index.d.ts.map +1 -0
  135. package/dist/reasoning/linear-algebra/index.js +859 -0
  136. package/dist/reasoning/linear-algebra/index.js.map +1 -0
  137. package/dist/reasoning/set-theory/hf-functions.d.ts +35 -0
  138. package/dist/reasoning/set-theory/hf-functions.d.ts.map +1 -0
  139. package/dist/reasoning/set-theory/hf-functions.js +147 -0
  140. package/dist/reasoning/set-theory/hf-functions.js.map +1 -0
  141. package/dist/reasoning/set-theory/hf-sets.d.ts +79 -0
  142. package/dist/reasoning/set-theory/hf-sets.d.ts.map +1 -0
  143. package/dist/reasoning/set-theory/hf-sets.js +338 -0
  144. package/dist/reasoning/set-theory/hf-sets.js.map +1 -0
  145. package/dist/reasoning/set-theory/index.d.ts +7 -0
  146. package/dist/reasoning/set-theory/index.d.ts.map +1 -0
  147. package/dist/reasoning/set-theory/index.js +44 -0
  148. package/dist/reasoning/set-theory/index.js.map +1 -0
  149. package/dist/reasoning/set-theory/zfc-axioms.d.ts +59 -0
  150. package/dist/reasoning/set-theory/zfc-axioms.d.ts.map +1 -0
  151. package/dist/reasoning/set-theory/zfc-axioms.js +245 -0
  152. package/dist/reasoning/set-theory/zfc-axioms.js.map +1 -0
  153. package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.d.ts +2 -0
  154. package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.d.ts.map +1 -0
  155. package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.js +328 -0
  156. package/dist/tests/proof-systems/distributed-exchange/distributed-exchange.test.js.map +1 -0
  157. package/dist/tests/proof-systems/fol-prover-advanced/prover.test.d.ts +2 -0
  158. package/dist/tests/proof-systems/fol-prover-advanced/prover.test.d.ts.map +1 -0
  159. package/dist/tests/proof-systems/fol-prover-advanced/prover.test.js +253 -0
  160. package/dist/tests/proof-systems/fol-prover-advanced/prover.test.js.map +1 -0
  161. package/dist/tests/reasoning/combinatorics/combinatorics.test.d.ts +2 -0
  162. package/dist/tests/reasoning/combinatorics/combinatorics.test.d.ts.map +1 -0
  163. package/dist/tests/reasoning/combinatorics/combinatorics.test.js +256 -0
  164. package/dist/tests/reasoning/combinatorics/combinatorics.test.js.map +1 -0
  165. package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.d.ts +2 -0
  166. package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.d.ts.map +1 -0
  167. package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.js +174 -0
  168. package/dist/tests/reasoning/constructive-analysis/constructive-analysis.test.js.map +1 -0
  169. package/dist/tests/reasoning/graph-theory/graph-theory.test.d.ts +2 -0
  170. package/dist/tests/reasoning/graph-theory/graph-theory.test.d.ts.map +1 -0
  171. package/dist/tests/reasoning/graph-theory/graph-theory.test.js +363 -0
  172. package/dist/tests/reasoning/graph-theory/graph-theory.test.js.map +1 -0
  173. package/dist/tests/reasoning/group-presentation/group-presentation.test.d.ts +2 -0
  174. package/dist/tests/reasoning/group-presentation/group-presentation.test.d.ts.map +1 -0
  175. package/dist/tests/reasoning/group-presentation/group-presentation.test.js +229 -0
  176. package/dist/tests/reasoning/group-presentation/group-presentation.test.js.map +1 -0
  177. package/dist/tests/reasoning/linear-algebra/linear-algebra.test.d.ts +2 -0
  178. package/dist/tests/reasoning/linear-algebra/linear-algebra.test.d.ts.map +1 -0
  179. package/dist/tests/reasoning/linear-algebra/linear-algebra.test.js +369 -0
  180. package/dist/tests/reasoning/linear-algebra/linear-algebra.test.js.map +1 -0
  181. package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts +2 -0
  182. package/dist/tests/reasoning/set-theory/hf-functions.test.d.ts.map +1 -0
  183. package/dist/tests/reasoning/set-theory/hf-functions.test.js +122 -0
  184. package/dist/tests/reasoning/set-theory/hf-functions.test.js.map +1 -0
  185. package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts +2 -0
  186. package/dist/tests/reasoning/set-theory/hf-sets.test.d.ts.map +1 -0
  187. package/dist/tests/reasoning/set-theory/hf-sets.test.js +177 -0
  188. package/dist/tests/reasoning/set-theory/hf-sets.test.js.map +1 -0
  189. package/dist/tests/reasoning/set-theory/zfc-axioms.test.d.ts +2 -0
  190. package/dist/tests/reasoning/set-theory/zfc-axioms.test.d.ts.map +1 -0
  191. package/dist/tests/reasoning/set-theory/zfc-axioms.test.js +56 -0
  192. package/dist/tests/reasoning/set-theory/zfc-axioms.test.js.map +1 -0
  193. package/dist/tests/tooling/doc-gen/doc-gen.test.d.ts +2 -0
  194. package/dist/tests/tooling/doc-gen/doc-gen.test.d.ts.map +1 -0
  195. package/dist/tests/tooling/doc-gen/doc-gen.test.js +350 -0
  196. package/dist/tests/tooling/doc-gen/doc-gen.test.js.map +1 -0
  197. package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.d.ts +2 -0
  198. package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.d.ts.map +1 -0
  199. package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.js +411 -0
  200. package/dist/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.js.map +1 -0
  201. package/dist/tests/tooling/lemma-library/lemma-library.test.d.ts +2 -0
  202. package/dist/tests/tooling/lemma-library/lemma-library.test.d.ts.map +1 -0
  203. package/dist/tests/tooling/lemma-library/lemma-library.test.js +197 -0
  204. package/dist/tests/tooling/lemma-library/lemma-library.test.js.map +1 -0
  205. package/dist/tests/tooling/provenance/ledger.test.d.ts +2 -0
  206. package/dist/tests/tooling/provenance/ledger.test.d.ts.map +1 -0
  207. package/dist/tests/tooling/provenance/ledger.test.js +545 -0
  208. package/dist/tests/tooling/provenance/ledger.test.js.map +1 -0
  209. package/dist/tests/tooling/test-harness/test-harness.test.d.ts +2 -0
  210. package/dist/tests/tooling/test-harness/test-harness.test.d.ts.map +1 -0
  211. package/dist/tests/tooling/test-harness/test-harness.test.js +208 -0
  212. package/dist/tests/tooling/test-harness/test-harness.test.js.map +1 -0
  213. package/dist/tooling/doc-gen/extract.d.ts +13 -0
  214. package/dist/tooling/doc-gen/extract.d.ts.map +1 -0
  215. package/dist/tooling/doc-gen/extract.js +379 -0
  216. package/dist/tooling/doc-gen/extract.js.map +1 -0
  217. package/dist/tooling/doc-gen/generate.d.ts +9 -0
  218. package/dist/tooling/doc-gen/generate.d.ts.map +1 -0
  219. package/dist/tooling/doc-gen/generate.js +116 -0
  220. package/dist/tooling/doc-gen/generate.js.map +1 -0
  221. package/dist/tooling/doc-gen/index.d.ts +7 -0
  222. package/dist/tooling/doc-gen/index.d.ts.map +1 -0
  223. package/dist/tooling/doc-gen/index.js +39 -0
  224. package/dist/tooling/doc-gen/index.js.map +1 -0
  225. package/dist/tooling/doc-gen/jsdoc.d.ts +31 -0
  226. package/dist/tooling/doc-gen/jsdoc.d.ts.map +1 -0
  227. package/dist/tooling/doc-gen/jsdoc.js +140 -0
  228. package/dist/tooling/doc-gen/jsdoc.js.map +1 -0
  229. package/dist/tooling/doc-gen/render.d.ts +29 -0
  230. package/dist/tooling/doc-gen/render.d.ts.map +1 -0
  231. package/dist/tooling/doc-gen/render.js +206 -0
  232. package/dist/tooling/doc-gen/render.js.map +1 -0
  233. package/dist/tooling/doc-gen/types.d.ts +51 -0
  234. package/dist/tooling/doc-gen/types.d.ts.map +1 -0
  235. package/dist/tooling/doc-gen/types.js +10 -0
  236. package/dist/tooling/doc-gen/types.js.map +1 -0
  237. package/dist/tooling/exporters/coq-v2/index.d.ts +68 -0
  238. package/dist/tooling/exporters/coq-v2/index.d.ts.map +1 -0
  239. package/dist/tooling/exporters/coq-v2/index.js +692 -0
  240. package/dist/tooling/exporters/coq-v2/index.js.map +1 -0
  241. package/dist/tooling/lemma-library/apply.d.ts +9 -0
  242. package/dist/tooling/lemma-library/apply.d.ts.map +1 -0
  243. package/dist/tooling/lemma-library/apply.js +94 -0
  244. package/dist/tooling/lemma-library/apply.js.map +1 -0
  245. package/dist/tooling/lemma-library/arithmetic.d.ts +3 -0
  246. package/dist/tooling/lemma-library/arithmetic.d.ts.map +1 -0
  247. package/dist/tooling/lemma-library/arithmetic.js +176 -0
  248. package/dist/tooling/lemma-library/arithmetic.js.map +1 -0
  249. package/dist/tooling/lemma-library/firstorder.d.ts +3 -0
  250. package/dist/tooling/lemma-library/firstorder.d.ts.map +1 -0
  251. package/dist/tooling/lemma-library/firstorder.js +136 -0
  252. package/dist/tooling/lemma-library/firstorder.js.map +1 -0
  253. package/dist/tooling/lemma-library/index.d.ts +13 -0
  254. package/dist/tooling/lemma-library/index.d.ts.map +1 -0
  255. package/dist/tooling/lemma-library/index.js +32 -0
  256. package/dist/tooling/lemma-library/index.js.map +1 -0
  257. package/dist/tooling/lemma-library/library.d.ts +34 -0
  258. package/dist/tooling/lemma-library/library.d.ts.map +1 -0
  259. package/dist/tooling/lemma-library/library.js +126 -0
  260. package/dist/tooling/lemma-library/library.js.map +1 -0
  261. package/dist/tooling/lemma-library/modal.d.ts +3 -0
  262. package/dist/tooling/lemma-library/modal.d.ts.map +1 -0
  263. package/dist/tooling/lemma-library/modal.js +138 -0
  264. package/dist/tooling/lemma-library/modal.js.map +1 -0
  265. package/dist/tooling/lemma-library/propositional.d.ts +3 -0
  266. package/dist/tooling/lemma-library/propositional.d.ts.map +1 -0
  267. package/dist/tooling/lemma-library/propositional.js +265 -0
  268. package/dist/tooling/lemma-library/propositional.js.map +1 -0
  269. package/dist/tooling/lemma-library/set-theory.d.ts +3 -0
  270. package/dist/tooling/lemma-library/set-theory.d.ts.map +1 -0
  271. package/dist/tooling/lemma-library/set-theory.js +134 -0
  272. package/dist/tooling/lemma-library/set-theory.js.map +1 -0
  273. package/dist/tooling/lemma-library/standard.d.ts +3 -0
  274. package/dist/tooling/lemma-library/standard.d.ts.map +1 -0
  275. package/dist/tooling/lemma-library/standard.js +27 -0
  276. package/dist/tooling/lemma-library/standard.js.map +1 -0
  277. package/dist/tooling/lemma-library/tfidf.d.ts +5 -0
  278. package/dist/tooling/lemma-library/tfidf.d.ts.map +1 -0
  279. package/dist/tooling/lemma-library/tfidf.js +100 -0
  280. package/dist/tooling/lemma-library/tfidf.js.map +1 -0
  281. package/dist/tooling/lemma-library/tokenize.d.ts +2 -0
  282. package/dist/tooling/lemma-library/tokenize.d.ts.map +1 -0
  283. package/dist/tooling/lemma-library/tokenize.js +74 -0
  284. package/dist/tooling/lemma-library/tokenize.js.map +1 -0
  285. package/dist/tooling/lemma-library/types.d.ts +53 -0
  286. package/dist/tooling/lemma-library/types.d.ts.map +1 -0
  287. package/dist/tooling/lemma-library/types.js +10 -0
  288. package/dist/tooling/lemma-library/types.js.map +1 -0
  289. package/dist/tooling/provenance/index.d.ts +3 -0
  290. package/dist/tooling/provenance/index.d.ts.map +1 -0
  291. package/dist/tooling/provenance/index.js +16 -0
  292. package/dist/tooling/provenance/index.js.map +1 -0
  293. package/dist/tooling/provenance/ledger.d.ts +89 -0
  294. package/dist/tooling/provenance/ledger.d.ts.map +1 -0
  295. package/dist/tooling/provenance/ledger.js +439 -0
  296. package/dist/tooling/provenance/ledger.js.map +1 -0
  297. package/dist/tooling/provenance/types.d.ts +70 -0
  298. package/dist/tooling/provenance/types.d.ts.map +1 -0
  299. package/dist/tooling/provenance/types.js +14 -0
  300. package/dist/tooling/provenance/types.js.map +1 -0
  301. package/dist/tooling/test-harness/combinators.d.ts +14 -0
  302. package/dist/tooling/test-harness/combinators.d.ts.map +1 -0
  303. package/dist/tooling/test-harness/combinators.js +122 -0
  304. package/dist/tooling/test-harness/combinators.js.map +1 -0
  305. package/dist/tooling/test-harness/coverage.d.ts +3 -0
  306. package/dist/tooling/test-harness/coverage.d.ts.map +1 -0
  307. package/dist/tooling/test-harness/coverage.js +32 -0
  308. package/dist/tooling/test-harness/coverage.js.map +1 -0
  309. package/dist/tooling/test-harness/generators.d.ts +6 -0
  310. package/dist/tooling/test-harness/generators.d.ts.map +1 -0
  311. package/dist/tooling/test-harness/generators.js +66 -0
  312. package/dist/tooling/test-harness/generators.js.map +1 -0
  313. package/dist/tooling/test-harness/index.d.ts +7 -0
  314. package/dist/tooling/test-harness/index.d.ts.map +1 -0
  315. package/dist/tooling/test-harness/index.js +27 -0
  316. package/dist/tooling/test-harness/index.js.map +1 -0
  317. package/dist/tooling/test-harness/mutation.d.ts +4 -0
  318. package/dist/tooling/test-harness/mutation.d.ts.map +1 -0
  319. package/dist/tooling/test-harness/mutation.js +28 -0
  320. package/dist/tooling/test-harness/mutation.js.map +1 -0
  321. package/dist/tooling/test-harness/snapshot.d.ts +5 -0
  322. package/dist/tooling/test-harness/snapshot.d.ts.map +1 -0
  323. package/dist/tooling/test-harness/snapshot.js +86 -0
  324. package/dist/tooling/test-harness/snapshot.js.map +1 -0
  325. package/dist/tooling/test-harness/types.d.ts +32 -0
  326. package/dist/tooling/test-harness/types.d.ts.map +1 -0
  327. package/dist/tooling/test-harness/types.js +3 -0
  328. package/dist/tooling/test-harness/types.js.map +1 -0
  329. package/package.json +1 -1
@@ -0,0 +1,350 @@
1
+ "use strict";
2
+ // ============================================================
3
+ // Tests — tooling/doc-gen
4
+ // Cubre: parseJSDoc, extractDocs (sobre fixtures temp), renderers
5
+ // y generateDocs end-to-end con outputDir descartable.
6
+ // ============================================================
7
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
8
+ if (k2 === undefined) k2 = k;
9
+ var desc = Object.getOwnPropertyDescriptor(m, k);
10
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
11
+ desc = { enumerable: true, get: function() { return m[k]; } };
12
+ }
13
+ Object.defineProperty(o, k2, desc);
14
+ }) : (function(o, m, k, k2) {
15
+ if (k2 === undefined) k2 = k;
16
+ o[k2] = m[k];
17
+ }));
18
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
19
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
20
+ }) : function(o, v) {
21
+ o["default"] = v;
22
+ });
23
+ var __importStar = (this && this.__importStar) || (function () {
24
+ var ownKeys = function(o) {
25
+ ownKeys = Object.getOwnPropertyNames || function (o) {
26
+ var ar = [];
27
+ for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
28
+ return ar;
29
+ };
30
+ return ownKeys(o);
31
+ };
32
+ return function (mod) {
33
+ if (mod && mod.__esModule) return mod;
34
+ var result = {};
35
+ if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
36
+ __setModuleDefault(result, mod);
37
+ return result;
38
+ };
39
+ })();
40
+ Object.defineProperty(exports, "__esModule", { value: true });
41
+ const vitest_1 = require("vitest");
42
+ const fs = __importStar(require("fs"));
43
+ const path = __importStar(require("path"));
44
+ const os = __importStar(require("os"));
45
+ const doc_gen_1 = require("../../../tooling/doc-gen");
46
+ // --- fixtures helper ----------------------------------------
47
+ function mkdtemp(prefix = 'doc-gen-') {
48
+ return fs.mkdtempSync(path.join(os.tmpdir(), prefix));
49
+ }
50
+ function writeFile(dir, rel, content) {
51
+ const abs = path.join(dir, rel);
52
+ fs.mkdirSync(path.dirname(abs), { recursive: true });
53
+ fs.writeFileSync(abs, content, 'utf8');
54
+ }
55
+ // fixture compartida con un function documentado, una class, un type,
56
+ // un const, una interface, un enum y un export sin JSDoc.
57
+ function buildFixtureRoot() {
58
+ const root = mkdtemp();
59
+ writeFile(root, 'math.ts', [
60
+ '/**',
61
+ ' * Suma dos enteros.',
62
+ ' *',
63
+ ' * @param a primer sumando',
64
+ ' * @param b segundo sumando',
65
+ ' * @returns la suma `a + b`',
66
+ ' * @example',
67
+ ' * sum(1, 2) // 3',
68
+ ' */',
69
+ 'export function sum(a: number, b: number): number {',
70
+ ' return a + b;',
71
+ '}',
72
+ '',
73
+ '/**',
74
+ ' * @deprecated usar `sum`',
75
+ ' */',
76
+ 'export function add(a: number, b: number): number {',
77
+ ' return sum(a, b);',
78
+ '}',
79
+ '',
80
+ 'export function undocumented(x: number): number { return x; }',
81
+ '',
82
+ ].join('\n'));
83
+ writeFile(root, 'shapes.ts', [
84
+ '/**',
85
+ ' * Clase con métodos.',
86
+ ' */',
87
+ 'export class Box {',
88
+ ' constructor(public w: number, public h: number) {}',
89
+ ' /** Área del box. */',
90
+ ' area(): number { return this.w * this.h; }',
91
+ '}',
92
+ '',
93
+ '/** Punto en 2D. */',
94
+ 'export interface Point { x: number; y: number; }',
95
+ '',
96
+ '/** Alias de Point. */',
97
+ 'export type P = Point;',
98
+ '',
99
+ '/** Constante con tipo. */',
100
+ 'export const ORIGIN: Point = { x: 0, y: 0 };',
101
+ '',
102
+ '/** Direcciones. */',
103
+ 'export enum Dir { N, S, E, W }',
104
+ '',
105
+ ].join('\n'));
106
+ writeFile(root, 'internal.ts', [
107
+ '/**',
108
+ ' * @internal helper interno',
109
+ ' */',
110
+ 'export function helper(): void {}',
111
+ '',
112
+ 'function notExported(): void {}',
113
+ '// referencia para que notExported no sea "unused" syntácticamente',
114
+ 'export const ref = notExported;',
115
+ '',
116
+ ].join('\n'));
117
+ writeFile(root, 'nested/sub.ts', [
118
+ '/**',
119
+ ' * @fileoverview módulo nested.sub para probar paths con carpetas.',
120
+ ' */',
121
+ 'export function nestedFn(): number { return 1; }',
122
+ '',
123
+ ].join('\n'));
124
+ // archivos que deben ser ignorados
125
+ writeFile(root, 'foo.test.ts', 'export function shouldSkip(): void {}');
126
+ writeFile(root, 'tests/bar.ts', 'export function alsoSkip(): void {}');
127
+ writeFile(root, 'node_modules/pkg/index.ts', 'export const ignored = 1;');
128
+ return root;
129
+ }
130
+ // --- parseJSDoc / helpers ------------------------------------
131
+ (0, vitest_1.describe)('parseJSDoc', () => {
132
+ (0, vitest_1.it)('parsea description + @param + @returns + @example + @deprecated', () => {
133
+ const raw = [
134
+ '/**',
135
+ ' * Hace algo.',
136
+ ' *',
137
+ ' * @param a desc-a',
138
+ ' * @param b desc-b',
139
+ ' * @returns la suma',
140
+ ' * @example',
141
+ ' * foo(1, 2)',
142
+ ' * @deprecated',
143
+ ' */',
144
+ ].join('\n');
145
+ const parsed = (0, doc_gen_1.parseJSDoc)(raw);
146
+ (0, vitest_1.expect)(parsed.description).toBe('Hace algo.');
147
+ (0, vitest_1.expect)(parsed.tags.map((t) => t.tag)).toEqual([
148
+ 'param',
149
+ 'param',
150
+ 'returns',
151
+ 'example',
152
+ 'deprecated',
153
+ ]);
154
+ const example = parsed.tags.find((t) => t.tag === 'example');
155
+ (0, vitest_1.expect)(example?.content).toBe('foo(1, 2)');
156
+ });
157
+ (0, vitest_1.it)('stripCommentMarkers limpia /** y * líderes', () => {
158
+ const raw = '/**\n * line A\n * line B\n */';
159
+ (0, vitest_1.expect)((0, doc_gen_1.stripCommentMarkers)(raw)).toBe('line A\nline B');
160
+ });
161
+ (0, vitest_1.it)('parseParamTag soporta `name desc` y `[name] desc`', () => {
162
+ (0, vitest_1.expect)((0, doc_gen_1.parseParamTag)('a primer sumando')).toEqual({
163
+ name: 'a',
164
+ description: 'primer sumando',
165
+ optional: false,
166
+ });
167
+ (0, vitest_1.expect)((0, doc_gen_1.parseParamTag)('[verbose] flag verbose')).toEqual({
168
+ name: 'verbose',
169
+ description: 'flag verbose',
170
+ optional: true,
171
+ });
172
+ (0, vitest_1.expect)((0, doc_gen_1.parseParamTag)('cfg? configuración')).toEqual({
173
+ name: 'cfg',
174
+ description: 'configuración',
175
+ optional: true,
176
+ });
177
+ });
178
+ (0, vitest_1.it)('parseReturnsTag descarta tipo entre llaves y el guion líder', () => {
179
+ (0, vitest_1.expect)((0, doc_gen_1.parseReturnsTag)('{number} - la suma')).toBe('la suma');
180
+ (0, vitest_1.expect)((0, doc_gen_1.parseReturnsTag)('la suma')).toBe('la suma');
181
+ });
182
+ });
183
+ // --- extractDocs --------------------------------------------
184
+ (0, vitest_1.describe)('extractDocs', () => {
185
+ let root;
186
+ (0, vitest_1.beforeAll)(() => {
187
+ root = buildFixtureRoot();
188
+ });
189
+ (0, vitest_1.afterAll)(() => {
190
+ fs.rmSync(root, { recursive: true, force: true });
191
+ });
192
+ (0, vitest_1.it)('extrae función documentada con @param y @returns', () => {
193
+ const modules = (0, doc_gen_1.extractDocs)(root);
194
+ const math = modules.find((m) => m.path === 'math.ts');
195
+ (0, vitest_1.expect)(math, 'math.ts module').toBeTruthy();
196
+ const sum = math?.exports.find((e) => e.name === 'sum');
197
+ (0, vitest_1.expect)(sum?.kind).toBe('function');
198
+ (0, vitest_1.expect)(sum?.description).toBe('Suma dos enteros.');
199
+ (0, vitest_1.expect)(sum?.parameters?.map((p) => p.name)).toEqual(['a', 'b']);
200
+ (0, vitest_1.expect)(sum?.parameters?.[0]?.type).toBe('number');
201
+ (0, vitest_1.expect)(sum?.parameters?.[0]?.description).toBe('primer sumando');
202
+ (0, vitest_1.expect)(sum?.returns?.type).toBe('number');
203
+ (0, vitest_1.expect)(sum?.returns?.description).toBe('la suma `a + b`');
204
+ (0, vitest_1.expect)(sum?.examples?.length).toBeGreaterThan(0);
205
+ (0, vitest_1.expect)(sum?.deprecated).toBeUndefined();
206
+ (0, vitest_1.expect)(sum?.exported).toBe(true);
207
+ });
208
+ (0, vitest_1.it)('detecta @deprecated', () => {
209
+ const modules = (0, doc_gen_1.extractDocs)(root);
210
+ const math = modules.find((m) => m.path === 'math.ts');
211
+ const add = math?.exports.find((e) => e.name === 'add');
212
+ (0, vitest_1.expect)(add?.deprecated).toBe(true);
213
+ });
214
+ (0, vitest_1.it)('captura class + interface + type + const + enum', () => {
215
+ const modules = (0, doc_gen_1.extractDocs)(root);
216
+ const shapes = modules.find((m) => m.path === 'shapes.ts');
217
+ (0, vitest_1.expect)(shapes).toBeTruthy();
218
+ const kinds = new Map(shapes.exports.map((e) => [e.name, e.kind]));
219
+ (0, vitest_1.expect)(kinds.get('Box')).toBe('class');
220
+ (0, vitest_1.expect)(kinds.get('Point')).toBe('interface');
221
+ (0, vitest_1.expect)(kinds.get('P')).toBe('type');
222
+ (0, vitest_1.expect)(kinds.get('ORIGIN')).toBe('const');
223
+ (0, vitest_1.expect)(kinds.get('Dir')).toBe('enum');
224
+ });
225
+ (0, vitest_1.it)('@internal se oculta por defecto y aparece con includeInternal', () => {
226
+ const def = (0, doc_gen_1.extractDocs)(root);
227
+ const internalMod = def.find((m) => m.path === 'internal.ts');
228
+ (0, vitest_1.expect)(internalMod?.exports.find((e) => e.name === 'helper')).toBeUndefined();
229
+ const incl = (0, doc_gen_1.extractDocs)(root, { includeInternal: true });
230
+ const internalMod2 = incl.find((m) => m.path === 'internal.ts');
231
+ (0, vitest_1.expect)(internalMod2?.exports.find((e) => e.name === 'helper')).toBeTruthy();
232
+ // notExported (sin export) también aparece cuando includeInternal=true
233
+ (0, vitest_1.expect)(internalMod2?.exports.find((e) => e.name === 'notExported')).toBeTruthy();
234
+ });
235
+ (0, vitest_1.it)('ignora *.test.ts, carpetas tests/ y node_modules/', () => {
236
+ const modules = (0, doc_gen_1.extractDocs)(root);
237
+ const paths = modules.map((m) => m.path);
238
+ (0, vitest_1.expect)(paths).not.toContain('foo.test.ts');
239
+ (0, vitest_1.expect)(paths.every((p) => !p.startsWith('tests/'))).toBe(true);
240
+ (0, vitest_1.expect)(paths.every((p) => !p.includes('node_modules'))).toBe(true);
241
+ });
242
+ (0, vitest_1.it)('captura description a nivel de archivo via @fileoverview', () => {
243
+ const modules = (0, doc_gen_1.extractDocs)(root);
244
+ const nested = modules.find((m) => m.path === 'nested/sub.ts');
245
+ (0, vitest_1.expect)(nested?.description).toContain('nested.sub');
246
+ });
247
+ });
248
+ // --- renderers ----------------------------------------------
249
+ (0, vitest_1.describe)('renderers', () => {
250
+ let root;
251
+ (0, vitest_1.beforeAll)(() => {
252
+ root = buildFixtureRoot();
253
+ });
254
+ (0, vitest_1.afterAll)(() => {
255
+ fs.rmSync(root, { recursive: true, force: true });
256
+ });
257
+ (0, vitest_1.it)('renderMarkdown produce un .md por módulo y un index.md', () => {
258
+ const modules = (0, doc_gen_1.extractDocs)(root);
259
+ const files = (0, doc_gen_1.renderMarkdown)(modules);
260
+ (0, vitest_1.expect)(files.has('index.md')).toBe(true);
261
+ (0, vitest_1.expect)(files.has('math.md')).toBe(true);
262
+ (0, vitest_1.expect)(files.has('shapes.md')).toBe(true);
263
+ (0, vitest_1.expect)(files.has('nested/sub.md')).toBe(true);
264
+ const mathMd = files.get('math.md') ?? '';
265
+ (0, vitest_1.expect)(mathMd).toContain('## `sum`');
266
+ (0, vitest_1.expect)(mathMd).toContain('### Parameters');
267
+ (0, vitest_1.expect)(mathMd).toContain('### Returns');
268
+ (0, vitest_1.expect)(mathMd).toContain('### Examples');
269
+ // Deprecated señalizado
270
+ (0, vitest_1.expect)(mathMd).toContain('DEPRECATED');
271
+ });
272
+ (0, vitest_1.it)('renderIndex conteo de módulos y símbolos', () => {
273
+ const modules = (0, doc_gen_1.extractDocs)(root);
274
+ const idx = (0, doc_gen_1.renderIndex)(modules);
275
+ (0, vitest_1.expect)(idx).toContain('# API Reference');
276
+ (0, vitest_1.expect)(idx).toMatch(/\*\*Modules\*\*:\s+\d+/);
277
+ (0, vitest_1.expect)(idx).toMatch(/\*\*Symbols\*\*:\s+\d+/);
278
+ (0, vitest_1.expect)(idx).toContain('## Modules');
279
+ // Tabla por kind presente
280
+ (0, vitest_1.expect)(idx).toContain('## Symbols by kind');
281
+ (0, vitest_1.expect)(idx).toContain('| Function |');
282
+ });
283
+ (0, vitest_1.it)('renderJSON parsea de vuelta sin pérdida', () => {
284
+ const modules = (0, doc_gen_1.extractDocs)(root);
285
+ const raw = (0, doc_gen_1.renderJSON)(modules);
286
+ const parsed = JSON.parse(raw);
287
+ (0, vitest_1.expect)(parsed.modules.length).toBe(modules.length);
288
+ (0, vitest_1.expect)(parsed.modules.map((m) => m.path)).toEqual(modules.map((m) => m.path));
289
+ });
290
+ (0, vitest_1.it)('toMarkdownPath cambia .ts → .md preservando subpath', () => {
291
+ (0, vitest_1.expect)((0, doc_gen_1.toMarkdownPath)('a/b/c.ts')).toBe('a/b/c.md');
292
+ (0, vitest_1.expect)((0, doc_gen_1.toMarkdownPath)('foo.ts')).toBe('foo.md');
293
+ });
294
+ });
295
+ // --- generateDocs end-to-end --------------------------------
296
+ (0, vitest_1.describe)('generateDocs', () => {
297
+ let root;
298
+ (0, vitest_1.beforeAll)(() => {
299
+ root = buildFixtureRoot();
300
+ });
301
+ (0, vitest_1.afterAll)(() => {
302
+ fs.rmSync(root, { recursive: true, force: true });
303
+ });
304
+ (0, vitest_1.it)('genera archivos markdown a outputDir y reporta warnings de symbols sin desc', async () => {
305
+ const out = mkdtemp('doc-out-');
306
+ try {
307
+ const res = await (0, doc_gen_1.generateDocs)({ rootDir: root, outputDir: out, template: 'markdown' });
308
+ (0, vitest_1.expect)(res.filesWritten.length).toBeGreaterThan(0);
309
+ // index + por lo menos uno
310
+ const filenames = res.filesWritten.map((p) => path.basename(p)).sort();
311
+ (0, vitest_1.expect)(filenames).toContain('index.md');
312
+ (0, vitest_1.expect)(filenames).toContain('math.md');
313
+ // warning sobre `undocumented`
314
+ (0, vitest_1.expect)(res.warnings.some((w) => w.includes('undocumented'))).toBe(true);
315
+ const mathContent = fs.readFileSync(path.join(out, 'math.md'), 'utf8');
316
+ (0, vitest_1.expect)(mathContent).toContain('Suma dos enteros');
317
+ }
318
+ finally {
319
+ fs.rmSync(out, { recursive: true, force: true });
320
+ }
321
+ });
322
+ (0, vitest_1.it)('genera api.json cuando template=json', async () => {
323
+ const out = mkdtemp('doc-out-');
324
+ try {
325
+ const res = await (0, doc_gen_1.generateDocs)({ rootDir: root, outputDir: out, template: 'json' });
326
+ const jsonFile = res.filesWritten.find((f) => f.endsWith('api.json'));
327
+ (0, vitest_1.expect)(jsonFile).toBeTruthy();
328
+ const content = fs.readFileSync(jsonFile, 'utf8');
329
+ const parsed = JSON.parse(content);
330
+ (0, vitest_1.expect)(Array.isArray(parsed.modules)).toBe(true);
331
+ }
332
+ finally {
333
+ fs.rmSync(out, { recursive: true, force: true });
334
+ }
335
+ });
336
+ (0, vitest_1.it)('genera index.html cuando template=html-minimal', async () => {
337
+ const out = mkdtemp('doc-out-');
338
+ try {
339
+ const res = await (0, doc_gen_1.generateDocs)({ rootDir: root, outputDir: out, template: 'html-minimal' });
340
+ (0, vitest_1.expect)(res.filesWritten.some((f) => f.endsWith('index.html'))).toBe(true);
341
+ const html = fs.readFileSync(path.join(out, 'index.html'), 'utf8');
342
+ (0, vitest_1.expect)(html).toContain('<!doctype html>');
343
+ (0, vitest_1.expect)(html).toContain('API Reference');
344
+ }
345
+ finally {
346
+ fs.rmSync(out, { recursive: true, force: true });
347
+ }
348
+ });
349
+ });
350
+ //# sourceMappingURL=doc-gen.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"doc-gen.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/doc-gen/doc-gen.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,0BAA0B;AAC1B,kEAAkE;AAClE,uDAAuD;AACvD,+DAA+D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE/D,mCAAmE;AACnE,uCAAyB;AACzB,2CAA6B;AAC7B,uCAAyB;AAEzB,sDAWkC;AAElC,+DAA+D;AAE/D,SAAS,OAAO,CAAC,MAAM,GAAG,UAAU;IAClC,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,SAAS,CAAC,GAAW,EAAE,GAAW,EAAE,OAAe;IAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAChC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACzC,CAAC;AAED,sEAAsE;AACtE,0DAA0D;AAC1D,SAAS,gBAAgB;IACvB,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;IACvB,SAAS,CACP,IAAI,EACJ,SAAS,EACT;QACE,KAAK;QACL,sBAAsB;QACtB,IAAI;QACJ,4BAA4B;QAC5B,6BAA6B;QAC7B,6BAA6B;QAC7B,aAAa;QACb,mBAAmB;QACnB,KAAK;QACL,qDAAqD;QACrD,iBAAiB;QACjB,GAAG;QACH,EAAE;QACF,KAAK;QACL,2BAA2B;QAC3B,KAAK;QACL,qDAAqD;QACrD,qBAAqB;QACrB,GAAG;QACH,EAAE;QACF,+DAA+D;QAC/D,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACF,SAAS,CACP,IAAI,EACJ,WAAW,EACX;QACE,KAAK;QACL,uBAAuB;QACvB,KAAK;QACL,oBAAoB;QACpB,sDAAsD;QACtD,wBAAwB;QACxB,8CAA8C;QAC9C,GAAG;QACH,EAAE;QACF,qBAAqB;QACrB,kDAAkD;QAClD,EAAE;QACF,wBAAwB;QACxB,wBAAwB;QACxB,EAAE;QACF,4BAA4B;QAC5B,8CAA8C;QAC9C,EAAE;QACF,qBAAqB;QACrB,gCAAgC;QAChC,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACF,SAAS,CACP,IAAI,EACJ,aAAa,EACb;QACE,KAAK;QACL,6BAA6B;QAC7B,KAAK;QACL,mCAAmC;QACnC,EAAE;QACF,iCAAiC;QACjC,oEAAoE;QACpE,iCAAiC;QACjC,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACF,SAAS,CACP,IAAI,EACJ,eAAe,EACf;QACE,KAAK;QACL,oEAAoE;QACpE,KAAK;QACL,kDAAkD;QAClD,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACF,mCAAmC;IACnC,SAAS,CAAC,IAAI,EAAE,aAAa,EAAE,uCAAuC,CAAC,CAAC;IACxE,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,qCAAqC,CAAC,CAAC;IACvE,SAAS,CAAC,IAAI,EAAE,2BAA2B,EAAE,2BAA2B,CAAC,CAAC;IAC1E,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG;YACV,KAAK;YACL,eAAe;YACf,IAAI;YACJ,oBAAoB;YACpB,oBAAoB;YACpB,qBAAqB;YACrB,aAAa;YACb,cAAc;YACd,gBAAgB;YAChB,KAAK;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5C,OAAO;YACP,OAAO;YACP,SAAS;YACT,SAAS;YACT,YAAY;SACb,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,OAAO,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,gCAAgC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAmB,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC;YAChD,IAAI,EAAE,GAAG;YACT,WAAW,EAAE,gBAAgB;YAC7B,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC;YACtD,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,cAAc;YAC3B,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC;YAClD,IAAI,EAAE,KAAK;YACX,WAAW,EAAE,eAAe;YAC5B,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,IAAA,eAAM,EAAC,IAAA,yBAAe,EAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,yBAAe,EAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAI,IAAY,CAAC;IACjB,IAAA,kBAAS,EAAC,GAAG,EAAE;QACb,IAAI,GAAG,gBAAgB,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,IAAA,iBAAQ,EAAC,GAAG,EAAE;QACZ,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,UAAU,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,GAAG,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,WAAW,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QAE9E,MAAM,IAAI,GAAG,IAAA,qBAAW,EAAC,IAAI,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAC5E,uEAAuE;QACvE,IAAA,eAAM,EAAC,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,EAAE,WAAW,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAI,IAAY,CAAC;IACjB,IAAA,kBAAS,EAAC,GAAG,EAAE;QACb,IAAI,GAAG,gBAAgB,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,IAAA,iBAAQ,EAAC,GAAG,EAAE;QACZ,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,IAAA,wBAAc,EAAC,OAAO,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACzC,wBAAwB;QACxB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,IAAA,qBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACpC,0BAA0B;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAC,IAAI,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,IAAA,oBAAU,EAAC,OAAO,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAgC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAI,IAAY,CAAC;IACjB,IAAA,kBAAS,EAAC,GAAG,EAAE;QACb,IAAI,GAAG,gBAAgB,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,IAAA,iBAAQ,EAAC,GAAG,EAAE;QACZ,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,KAAK,IAAI,EAAE;QAC3F,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAA,sBAAY,EAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;YACxF,IAAA,eAAM,EAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACnD,2BAA2B;YAC3B,MAAM,SAAS,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvE,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACxC,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACvC,+BAA+B;YAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxE,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;YACvE,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACpD,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAA,sBAAY,EAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;YACpF,MAAM,QAAQ,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YACtE,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAkB,EAAE,MAAM,CAAC,CAAC;YAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA2B,CAAC;YAC7D,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAA,sBAAY,EAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC;YAC5F,IAAA,eAAM,EAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1E,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC;YACnE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;YAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC1C,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=coq-v2-exporter.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"coq-v2-exporter.test.d.ts","sourceRoot":"","sources":["../../../../../src/tests/tooling/exporters/coq-v2/coq-v2-exporter.test.ts"],"names":[],"mappings":""}