@cloudflare/kumo 1.9.0 → 1.11.0

package/dist/components/input.js

@@ -1,7 +1,7 @@
 "use client";
-import { I as t, i as e } from "../input-DCzpefuq.js";
-import { I as o, T as s } from "../input-area-DCaAN9nG.js";
-import { I as u } from "../input-group-BbaVpJnA.js";
+import { I as t, i as e } from "../input-gGpJCiT7.js";
+import { I as o, T as s } from "../input-area-BgpN8siO.js";
+import { I as u } from "../input-group-DwPPwJEW.js";
 export {
   t as Input,
   o as InputArea,

package/dist/components/label.js

@@ -1,5 +1,5 @@
 "use client";
-import { b as e, K as l, L as A, a as L, l as t } from "../label-Cd6nCDWj.js";
+import { b as e, K as l, L as A, a as L, l as t } from "../label-hoE9-Nzo.js";
 export {
   e as KUMO_LABEL_DEFAULT_VARIANTS,
   l as KUMO_LABEL_VARIANTS,

package/dist/components/link.js

@@ -1,5 +1,5 @@
 "use client";
-import { a as A, K, L, l as _ } from "../link-DJq9RWpK.js";
+import { a as A, K, L, l as _ } from "../link-BFszrye7.js";
 export {
   A as KUMO_LINK_DEFAULT_VARIANTS,
   K as KUMO_LINK_VARIANTS,

package/dist/components/menubar.js

@@ -1,5 +1,5 @@
 "use client";
-import { M as u, u as n } from "../menubar-Chchzst0.js";
+import { M as u, u as n } from "../menubar-DF-6twXU.js";
 export {
   u as MenuBar,
   n as useMenuNavigation

package/dist/components/meter.js

@@ -1,5 +1,5 @@
 "use client";
-import { M as t } from "../meter-Wk7_EhaO.js";
+import { M as t } from "../meter-CP6NBKRN.js";
 export {
   t as Meter
 };

package/dist/components/pagination.js

@@ -1,5 +1,5 @@
 "use client";
-import { P as i } from "../pagination-DFHoZwPJ.js";
+import { P as i } from "../pagination-BWkeDEqb.js";
 export {
   i as Pagination
 };

package/dist/components/popover.js

@@ -1,5 +1,5 @@
 "use client";
-import { g as r, K as s, P, f as a, c as p, e as t, a as v, d as O, b as i } from "../popover-D20xpmdk.js";
+import { g as r, K as s, P, f as a, c as p, e as t, a as v, d as O, b as i } from "../popover-B5CWcu7v.js";
 export {
   r as KUMO_POPOVER_DEFAULT_VARIANTS,
   s as KUMO_POPOVER_VARIANTS,

package/dist/components/radio.js

@@ -1,5 +1,5 @@
 "use client";
-import { b as A, K as R, R as o, a as r, r as i } from "../radio-ibVa4Y8a.js";
+import { b as A, K as R, R as o, a as r, r as i } from "../radio-BQTXNBkS.js";
 export {
   A as KUMO_RADIO_DEFAULT_VARIANTS,
   R as KUMO_RADIO_VARIANTS,

package/dist/components/select.js

@@ -1,5 +1,5 @@
 "use client";
-import { S as c } from "../select-DtcT1zGm.js";
+import { S as c } from "../select-BWUNPPHQ.js";
 export {
   c as Select
 };

package/dist/components/sensitive-input.js

@@ -1,5 +1,5 @@
 "use client";
-import { a as T, K as _, S as N } from "../sensitive-input-DHDRZRC7.js";
+import { a as T, K as _, S as N } from "../sensitive-input-A6Kw7URa.js";
 export {
   T as KUMO_SENSITIVE_INPUT_DEFAULT_VARIANTS,
   _ as KUMO_SENSITIVE_INPUT_VARIANTS,

package/dist/components/switch.js

@@ -1,5 +1,5 @@
 "use client";
-import { a as T, K as _, S as a } from "../switch-DrbaX2iC.js";
+import { a as T, K as _, S as a } from "../switch-CmUFBiJv.js";
 export {
   T as KUMO_SWITCH_DEFAULT_VARIANTS,
   _ as KUMO_SWITCH_VARIANTS,

package/dist/components/table.js

@@ -1,5 +1,5 @@
 "use client";
-import { K as a, a as _, T as e } from "../table-CH9KC36S.js";
+import { K as a, a as _, T as e } from "../table-CbU4Oe3o.js";
 export {
   a as KUMO_TABLE_DEFAULT_VARIANTS,
   _ as KUMO_TABLE_VARIANTS,

package/dist/components/tabs.js

@@ -1,5 +1,5 @@
 "use client";
-import { T as a } from "../tabs-B-Fxc6Zo.js";
+import { T as a } from "../tabs-uLzHh6SR.js";
 export {
   a as Tabs
 };

package/dist/components/toast.js

@@ -1,6 +1,6 @@
 "use client";
-import { a as s, T as e, c as r, u as t } from "../toast-DUYp3EtH.js";
-import { i as u } from "../vendor-base-ui-Bsg5ebHI.js";
+import { a as s, T as e, c as r, u as t } from "../toast-B-d56fkl.js";
+import { i as u } from "../vendor-base-ui-DN1j_aJS.js";
 export {
   u as Toast,
   s as ToastProvider,

package/dist/components/tooltip.js

@@ -1,5 +1,5 @@
 "use client";
-import { T as i, a as r } from "../tooltip-D-KwZQDV.js";
+import { T as i, a as r } from "../tooltip-C7p2iJ0y.js";
 export {
   i as Tooltip,
   r as TooltipProvider

package/dist/coq-BHwvPA1n.js

@@ -0,0 +1,8 @@
+"use client";
+const e = Object.freeze(JSON.parse(`{"displayName":"Coq","fileTypes":["v"],"name":"coq","patterns":[{"match":"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b","name":"keyword.control.import.coq"},{"match":"\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\s+Scope)\\\\b","name":"keyword.control.import.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.theorem.coq"}},"match":"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\bGoal\\\\b","name":"keyword.source.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.coq"}},"match":"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"}},"match":"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.type.coq"}},"match":"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b","name":"keyword.debug.coq"},{"match":"\\\\b(admit|Admitted)\\\\b","name":"invalid.illegal.admit.coq"},{"match":"[-*+:<=>{|}¬→↔∧∨≠≤≥]","name":"keyword.operator.coq"},{"match":"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]","name":"support.type.coq"},{"match":"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(into|with|eqn|by|move|as|using)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b","name":"support.function.builtin.ltac"},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"match":"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b","name":"constant.numeric.gallina"},{"match":"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b","name":"constant.language.constructor.gallina"},{"match":"\\\\b_\\\\b","name":"constant.language.wildcard.coq"},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}],"repository":{"block_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},"block_double_quoted_string":{"applyEndPatternLast":1,"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}},"scopeName":"source.coq"}`)), t = [
+  e
+];
+export {
+  t as default
+};
+//# sourceMappingURL=coq-BHwvPA1n.js.map

package/dist/coq-BHwvPA1n.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coq-BHwvPA1n.js","sources":["../../../node_modules/.pnpm/@shikijs+langs@4.0.0/node_modules/@shikijs/langs/dist/coq.mjs"],"sourcesContent":["const lang = Object.freeze(JSON.parse(\"{\\\"displayName\\\":\\\"Coq\\\",\\\"fileTypes\\\":[\\\"v\\\"],\\\"name\\\":\\\"coq\\\",\\\"patterns\\\":[{\\\"match\\\":\\\"\\\\\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.control.import.coq\\\"},{\\\"match\\\":\\\"\\\\\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\\\\\s+Scope)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.control.import.coq\\\"},{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"},\\\"2\\\":{\\\"name\\\":\\\"entity.name.function.theorem.coq\\\"}},\\\"match\\\":\\\"\\\\\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\\\\\s+(([_ \\\\\\\\p{L}])(['0-9_ \\\\\\\\p{L}])*)\\\"},{\\\"match\\\":\\\"\\\\\\\\bGoal\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.source.coq\\\"},{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"},\\\"2\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"},\\\"3\\\":{\\\"name\\\":\\\"entity.name.assumption.coq\\\"}},\\\"match\\\":\\\"\\\\\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\\\\\s+Inline)?\\\\\\\\b\\\\\\\\s*\\\\\\\\(?\\\\\\\\s*(([_ \\\\\\\\p{L}])(['0-9_ \\\\\\\\p{L}])*)\\\"},{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"},\\\"3\\\":{\\\"name\\\":\\\"entity.name.assumption.coq\\\"}},\\\"match\\\":\\\"\\\\\\\\b(Context)\\\\\\\\b\\\\\\\\s*`?\\\\\\\\s*([({])?\\\\\\\\s*(([_ \\\\\\\\p{L}])(['0-9_ \\\\\\\\p{L}])*)\\\"},{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"},\\\"2\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"},\\\"3\\\":{\\\"name\\\":\\\"entity.name.function.coq\\\"}},\\\"match\\\":\\\"(\\\\\\\\b(?:Program|Local)\\\\\\\\s+)?\\\\\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\\\\\s+|\\\\\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\\\\\s+(([_ \\\\\\\\p{L}])(['0-9_ \\\\\\\\p{L}])*)\\\"},{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"}},\\\"match\\\":\\\"\\\\\\\\b((Show\\\\\\\\s+)?Obligation\\\\\\\\s+Tactic|Obligations\\\\\\\\s+of|Obligation|Next\\\\\\\\s+Obligation(\\\\\\\\s+of)?|Solve\\\\\\\\s+Obligations(\\\\\\\\s+of)?|Solve\\\\\\\\s+All\\\\\\\\s+Obligations|Admit\\\\\\\\s+Obligations(\\\\\\\\s+of)?|Instance)\\\\\\\\b\\\"},{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"},\\\"3\\\":{\\\"name\\\":\\\"entity.name.type.coq\\\"}},\\\"match\\\":\\\"\\\\\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\\\\\s+(>\\\\\\\\s*)?(([_ \\\\\\\\p{L}])(['0-9_ \\\\\\\\p{L}])*)\\\"},{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"},\\\"2\\\":{\\\"name\\\":\\\"entity.name.function.ltac\\\"}},\\\"match\\\":\\\"\\\\\\\\b(Ltac)\\\\\\\\s+(([_ \\\\\\\\p{L}])(['0-9_ \\\\\\\\p{L}])*)\\\"},{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"},\\\"2\\\":{\\\"name\\\":\\\"keyword.source.coq\\\"},\\\"3\\\":{\\\"name\\\":\\\"entity.name.function.ltac\\\"}},\\\"match\\\":\\\"\\\\\\\\b(Ltac2)\\\\\\\\s+(mutable\\\\\\\\s+)?(rec\\\\\\\\s+)?(([_ \\\\\\\\p{L}])(['0-9_ \\\\\\\\p{L}])*)\\\"},{\\\"match\\\":\\\"\\\\\\\\b(Hint(\\\\\\\\s+Mode)?|Create\\\\\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\\\\\s+Types)?|Set|Unset|Remove\\\\\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\\\\\s+)?Notation|Infix|Section|Module(\\\\\\\\s+Type)?|End|Check|Print(\\\\\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\\\\\s+(All|Variable))?|Existing(\\\\\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\\\\\s+(Opaque|Transparent))\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.source.coq\\\"},{\\\"match\\\":\\\"\\\\\\\\b(Proof|Qed|Defined|Save|Abort(\\\\\\\\s+All)?|Undo(\\\\\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\\\\\s+Proof|Show\\\\\\\\s+Existentials|Show|Unshelve)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.source.coq\\\"},{\\\"match\\\":\\\"\\\\\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.debug.coq\\\"},{\\\"match\\\":\\\"\\\\\\\\b(admit|Admitted)\\\\\\\\b\\\",\\\"name\\\":\\\"invalid.illegal.admit.coq\\\"},{\\\"match\\\":\\\"[-*+:<=>{|}¬→↔∧∨≠≤≥]\\\",\\\"name\\\":\\\"keyword.operator.coq\\\"},{\\\"match\\\":\\\"\\\\\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\\\\\b|[∀∃]\\\",\\\"name\\\":\\\"support.type.coq\\\"},{\\\"match\\\":\\\"\\\\\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.control.ltac\\\"},{\\\"match\\\":\\\"\\\\\\\\b(into|with|eqn|by|move|as|using)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.control.ltac\\\"},{\\\"match\\\":\\\"\\\\\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\\\\\b|λ\\\",\\\"name\\\":\\\"keyword.control.gallina\\\"},{\\\"match\\\":\\\"\\\\\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\\\\\b\\\",\\\"name\\\":\\\"support.function.builtin.ltac\\\"},{\\\"applyEndPatternLast\\\":1,\\\"begin\\\":\\\"\\\\\\\\(\\\\\\\\*(?!#)\\\",\\\"end\\\":\\\"\\\\\\\\*\\\\\\\\)\\\",\\\"name\\\":\\\"comment.block.coq\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#block_comment\\\"},{\\\"include\\\":\\\"#block_double_quoted_string\\\"}]},{\\\"match\\\":\\\"\\\\\\\\b((0([Xx])\\\\\\\\h+)|([0-9]+(\\\\\\\\.[0-9]+)?))\\\\\\\\b\\\",\\\"name\\\":\\\"constant.numeric.gallina\\\"},{\\\"match\\\":\\\"\\\\\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\\\\\b\\\",\\\"name\\\":\\\"constant.language.constructor.gallina\\\"},{\\\"match\\\":\\\"\\\\\\\\b_\\\\\\\\b\\\",\\\"name\\\":\\\"constant.language.wildcard.coq\\\"},{\\\"begin\\\":\\\"\\\\\\\"\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.string.begin.coq\\\"}},\\\"end\\\":\\\"\\\\\\\"\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.string.end.coq\\\"}},\\\"name\\\":\\\"string.quoted.double.coq\\\"}],\\\"repository\\\":{\\\"block_comment\\\":{\\\"applyEndPatternLast\\\":1,\\\"begin\\\":\\\"\\\\\\\\(\\\\\\\\*(?!#)\\\",\\\"end\\\":\\\"\\\\\\\\*\\\\\\\\)\\\",\\\"name\\\":\\\"comment.block.coq\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#block_comment\\\"},{\\\"include\\\":\\\"#block_double_quoted_string\\\"}]},\\\"block_double_quoted_string\\\":{\\\"applyEndPatternLast\\\":1,\\\"begin\\\":\\\"\\\\\\\"\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.string.begin.coq\\\"}},\\\"end\\\":\\\"\\\\\\\"\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.string.end.coq\\\"}},\\\"name\\\":\\\"string.quoted.double.coq\\\"}},\\\"scopeName\\\":\\\"source.coq\\\"}\"))\n\nexport default [\nlang\n]\n"],"names":["lang","coq"],"mappings":";AAAA,MAAMA,IAAO,OAAO,OAAO,KAAK,MAAM,ozKAAqtL,CAAC,GAE5vLC,IAAe;AAAA,EACfD;AACA;","x_google_ignoreList":[0]}