@strux-sh/ui 0.0.1

package/dist/components/Table/TableHead.vue.d.ts

@@ -0,0 +1,26 @@
+import type { HTMLAttributes } from "vue";
+interface Props {
+    class?: HTMLAttributes["class"];
+    align?: "left" | "center" | "right";
+    scope?: "col" | "row" | "colgroup" | "rowgroup";
+    highlight?: boolean;
+    separator?: boolean;
+}
+declare var __VLS_1: {};
+type __VLS_Slots = {} & {
+    default?: (props: typeof __VLS_1) => any;
+};
+declare const __VLS_base: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{}>, {
+    align: "left" | "center" | "right";
+    highlight: boolean;
+    separator: boolean;
+    scope: "col" | "row" | "colgroup" | "rowgroup";
+}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/Table/TableHeader.vue.d.ts

@@ -0,0 +1,17 @@
+import type { HTMLAttributes } from "vue";
+type __VLS_Props = {
+    class?: HTMLAttributes["class"];
+};
+declare var __VLS_1: {};
+type __VLS_Slots = {} & {
+    default?: (props: typeof __VLS_1) => any;
+};
+declare const __VLS_base: import("vue").DefineComponent<__VLS_Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<__VLS_Props> & Readonly<{}>, {}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/Table/TableRow.vue.d.ts

@@ -0,0 +1,17 @@
+import type { HTMLAttributes } from "vue";
+type __VLS_Props = {
+    class?: HTMLAttributes["class"];
+};
+declare var __VLS_1: {};
+type __VLS_Slots = {} & {
+    default?: (props: typeof __VLS_1) => any;
+};
+declare const __VLS_base: import("vue").DefineComponent<__VLS_Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<__VLS_Props> & Readonly<{}>, {}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/Table/index.d.ts

@@ -0,0 +1,8 @@
+export { default as Table } from "./Table.vue";
+export { default as TableBody } from "./TableBody.vue";
+export { default as TableCell } from "./TableCell.vue";
+export { default as TableEmpty } from "./TableEmpty.vue";
+export { default as TableFooter } from "./TableFooter.vue";
+export { default as TableHead } from "./TableHead.vue";
+export { default as TableHeader } from "./TableHeader.vue";
+export { default as TableRow } from "./TableRow.vue";

package/dist/components/Tabs/Tabs.variants.d.ts

@@ -0,0 +1,11 @@
+import { type VariantProps } from "class-variance-authority";
+export declare const tabsListVariants: (props?: ({
+    size?: "sm" | "md" | "lg" | null | undefined;
+    orientation?: "horizontal" | "vertical" | null | undefined;
+} & import("class-variance-authority/types").ClassProp) | undefined) => string;
+export declare const tabsTriggerVariants: (props?: ({
+    size?: "sm" | "md" | "lg" | null | undefined;
+    orientation?: "horizontal" | "vertical" | null | undefined;
+} & import("class-variance-authority/types").ClassProp) | undefined) => string;
+export type TabsListVariants = VariantProps<typeof tabsListVariants>;
+export type TabsTriggerVariants = VariantProps<typeof tabsTriggerVariants>;

package/dist/components/Tabs/Tabs.vue.d.ts

@@ -0,0 +1,29 @@
+import { type HTMLAttributes } from "vue";
+interface Props {
+    defaultValue?: string;
+    modelValue?: string;
+    orientation?: "horizontal" | "vertical";
+    class?: HTMLAttributes["class"];
+}
+declare var __VLS_1: {};
+type __VLS_Slots = {} & {
+    default?: (props: typeof __VLS_1) => any;
+};
+declare const __VLS_base: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
+    "update:modelValue": (value: string) => any;
+}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
+    "onUpdate:modelValue"?: ((value: string) => any) | undefined;
+}>, {
+    class: string | false | Record<string, any> | import("vue").ClassValue[] | null;
+    defaultValue: string;
+    modelValue: string;
+    orientation: "horizontal" | "vertical";
+}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/Tabs/TabsContent.vue.d.ts

@@ -0,0 +1,20 @@
+import { type HTMLAttributes } from "vue";
+interface Props {
+    value: string;
+    class?: HTMLAttributes["class"];
+}
+declare var __VLS_1: {};
+type __VLS_Slots = {} & {
+    default?: (props: typeof __VLS_1) => any;
+};
+declare const __VLS_base: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{}>, {
+    class: string | false | Record<string, any> | import("vue").ClassValue[] | null;
+}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/Tabs/TabsList.vue.d.ts

@@ -0,0 +1,22 @@
+import { type HTMLAttributes } from "vue";
+import { type TabsListVariants } from "./Tabs.variants";
+interface Props {
+    size?: TabsListVariants["size"];
+    class?: HTMLAttributes["class"];
+}
+declare var __VLS_1: {};
+type __VLS_Slots = {} & {
+    default?: (props: typeof __VLS_1) => any;
+};
+declare const __VLS_base: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{}>, {
+    size: "sm" | "md" | "lg" | null;
+    class: string | false | Record<string, any> | import("vue").ClassValue[] | null;
+}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/Tabs/TabsTrigger.vue.d.ts

@@ -0,0 +1,25 @@
+import { type HTMLAttributes } from "vue";
+import { type TabsTriggerVariants } from "./Tabs.variants";
+interface Props {
+    value: string;
+    disabled?: boolean;
+    size?: TabsTriggerVariants["size"];
+    class?: HTMLAttributes["class"];
+}
+declare var __VLS_1: {};
+type __VLS_Slots = {} & {
+    default?: (props: typeof __VLS_1) => any;
+};
+declare const __VLS_base: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{}>, {
+    size: "sm" | "md" | "lg" | null;
+    class: string | false | Record<string, any> | import("vue").ClassValue[] | null;
+    disabled: boolean;
+}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/Tabs/context.d.ts

@@ -0,0 +1,7 @@
+import type { InjectionKey, Ref } from "vue";
+export interface TabsContext {
+    activeTab: Ref<string>;
+    orientation: Ref<"horizontal" | "vertical">;
+    setActiveTab: (value: string) => void;
+}
+export declare const TABS_INJECTION_KEY: InjectionKey<TabsContext>;

package/dist/components/Tabs/index.d.ts

@@ -0,0 +1,5 @@
+export { default as Tabs } from "./Tabs.vue";
+export { default as TabsList } from "./TabsList.vue";
+export { default as TabsTrigger } from "./TabsTrigger.vue";
+export { default as TabsContent } from "./TabsContent.vue";
+export { tabsListVariants, tabsTriggerVariants, type TabsListVariants, type TabsTriggerVariants } from "./Tabs.variants";

package/dist/components/Textarea/Textarea.variants.d.ts

@@ -0,0 +1,9 @@
+import { type VariantProps } from "class-variance-authority";
+export declare const textareaVariants: (props?: ({
+    variant?: "default" | "ghost" | null | undefined;
+    size?: "sm" | "md" | "lg" | null | undefined;
+    error?: boolean | null | undefined;
+    success?: boolean | null | undefined;
+    wait?: boolean | null | undefined;
+} & import("class-variance-authority/types").ClassProp) | undefined) => string;
+export type TextareaVariants = VariantProps<typeof textareaVariants>;

package/dist/components/Textarea/Textarea.vue.d.ts

@@ -0,0 +1,59 @@
+import { type HTMLAttributes } from "vue";
+import { type TextareaVariants } from "./Textarea.variants";
+interface Props {
+    variant?: TextareaVariants["variant"];
+    size?: TextareaVariants["size"];
+    block?: boolean;
+    disabled?: boolean;
+    readonly?: boolean;
+    error?: boolean;
+    success?: boolean;
+    wait?: boolean;
+    label?: string;
+    description?: string;
+    rows?: number;
+    id?: string;
+    name?: string;
+    placeholder?: string;
+    required?: boolean;
+    class?: HTMLAttributes["class"];
+}
+type __VLS_Props = Props;
+type __VLS_Slots = {
+    label(): unknown;
+    description(): unknown;
+};
+type __VLS_ModelProps = {
+    modelValue?: string | number;
+};
+type __VLS_PublicProps = __VLS_Props & __VLS_ModelProps;
+declare const __VLS_base: import("vue").DefineComponent<__VLS_PublicProps, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
+    "update:modelValue": (value: string | number | undefined) => any;
+}, string, import("vue").PublicProps, Readonly<__VLS_PublicProps> & Readonly<{
+    "onUpdate:modelValue"?: ((value: string | number | undefined) => any) | undefined;
+}>, {
+    size: "sm" | "md" | "lg" | null;
+    class: string | false | Record<string, any> | import("vue").ClassValue[] | null;
+    label: string;
+    disabled: boolean;
+    id: string;
+    required: boolean;
+    name: string;
+    variant: "default" | "ghost" | null;
+    success: boolean;
+    block: boolean;
+    error: boolean;
+    description: string;
+    readonly: boolean;
+    rows: number;
+    placeholder: string;
+    wait: boolean;
+}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/Textarea/index.d.ts

@@ -0,0 +1,2 @@
+export { default as Textarea } from "./Textarea.vue";
+export { textareaVariants, type TextareaVariants } from "./Textarea.variants";

package/dist/components/Toggle/Toggle.variants.d.ts

@@ -0,0 +1,6 @@
+import { type VariantProps } from "class-variance-authority";
+export declare const toggleVariants: (props?: ({
+    variant?: "default" | "outline" | null | undefined;
+    size?: "sm" | "lg" | "default" | null | undefined;
+} & import("class-variance-authority/types").ClassProp) | undefined) => string;
+export type ToggleVariants = VariantProps<typeof toggleVariants>;

package/dist/components/Toggle/Toggle.vue.d.ts

@@ -0,0 +1,38 @@
+import type { Component, HTMLAttributes } from "vue";
+import { type ToggleVariants } from "./Toggle.variants";
+interface Props {
+    pressed?: boolean;
+    defaultPressed?: boolean;
+    disabled?: boolean;
+    variant?: ToggleVariants["variant"];
+    size?: ToggleVariants["size"];
+    as?: "button" | "div" | "a" | Component;
+    type?: "button" | "submit" | "reset";
+    class?: HTMLAttributes["class"];
+}
+declare var __VLS_10: {};
+type __VLS_Slots = {} & {
+    default?: (props: typeof __VLS_10) => any;
+};
+declare const __VLS_base: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
+    "update:pressed": (value: boolean) => any;
+}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
+    "onUpdate:pressed"?: ((value: boolean) => any) | undefined;
+}>, {
+    size: "sm" | "lg" | "default" | null;
+    class: string | false | Record<string, any> | import("vue").ClassValue[] | null;
+    type: "button" | "submit" | "reset";
+    disabled: boolean;
+    variant: "default" | "outline" | null;
+    as: "button" | "div" | "a" | Component;
+    pressed: boolean;
+    defaultPressed: boolean;
+}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/Toggle/index.d.ts

@@ -0,0 +1,2 @@
+export { default as Toggle } from "./Toggle.vue";
+export { toggleVariants, type ToggleVariants } from "./Toggle.variants";

package/dist/components/ToggleGroup/ToggleGroup.variants.d.ts

@@ -0,0 +1,5 @@
+import { type VariantProps } from "class-variance-authority";
+export declare const toggleGroupVariants: (props?: ({
+    orientation?: "horizontal" | "vertical" | null | undefined;
+} & import("class-variance-authority/types").ClassProp) | undefined) => string;
+export type ToggleGroupVariants = VariantProps<typeof toggleGroupVariants>;

package/dist/components/ToggleGroup/ToggleGroup.vue.d.ts

@@ -0,0 +1,41 @@
+import type { HTMLAttributes } from "vue";
+import { type ToggleVariants } from "../Toggle";
+import { type ToggleGroupVariants } from "./ToggleGroup.variants";
+interface Props {
+    type?: "single" | "multiple";
+    modelValue?: string | string[];
+    defaultValue?: string | string[];
+    disabled?: boolean;
+    orientation?: ToggleGroupVariants["orientation"];
+    variant?: ToggleVariants["variant"];
+    size?: ToggleVariants["size"];
+    spacing?: number;
+    class?: HTMLAttributes["class"];
+}
+declare var __VLS_1: {};
+type __VLS_Slots = {} & {
+    default?: (props: typeof __VLS_1) => any;
+};
+declare const __VLS_base: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {
+    "update:modelValue": (value: string | string[] | undefined) => any;
+}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{
+    "onUpdate:modelValue"?: ((value: string | string[] | undefined) => any) | undefined;
+}>, {
+    size: "sm" | "lg" | "default" | null;
+    class: string | false | Record<string, any> | import("vue").ClassValue[] | null;
+    type: "single" | "multiple";
+    defaultValue: string | string[];
+    modelValue: string | string[];
+    disabled: boolean;
+    orientation: "horizontal" | "vertical" | null;
+    spacing: number;
+    variant: "default" | "outline" | null;
+}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/ToggleGroup/ToggleGroupItem.vue.d.ts

@@ -0,0 +1,27 @@
+import type { HTMLAttributes } from "vue";
+import { type ToggleVariants } from "../Toggle";
+interface Props {
+    value: string;
+    disabled?: boolean;
+    variant?: ToggleVariants["variant"];
+    size?: ToggleVariants["size"];
+    class?: HTMLAttributes["class"];
+}
+declare var __VLS_1: {};
+type __VLS_Slots = {} & {
+    default?: (props: typeof __VLS_1) => any;
+};
+declare const __VLS_base: import("vue").DefineComponent<Props, {}, {}, {}, {}, import("vue").ComponentOptionsMixin, import("vue").ComponentOptionsMixin, {}, string, import("vue").PublicProps, Readonly<Props> & Readonly<{}>, {
+    size: "sm" | "lg" | "default" | null;
+    class: string | false | Record<string, any> | import("vue").ClassValue[] | null;
+    disabled: boolean;
+    variant: "default" | "outline" | null;
+}, {}, {}, {}, string, import("vue").ComponentProvideOptions, false, {}, any>;
+declare const __VLS_export: __VLS_WithSlots<typeof __VLS_base, __VLS_Slots>;
+declare const _default: typeof __VLS_export;
+export default _default;
+type __VLS_WithSlots<T, S> = T & {
+    new (): {
+        $slots: S;
+    };
+};

package/dist/components/ToggleGroup/context.d.ts

@@ -0,0 +1,13 @@
+import type { InjectionKey, Ref } from "vue";
+import type { ToggleVariants } from "../Toggle";
+export interface ToggleGroupContext {
+    type: Ref<"single" | "multiple">;
+    modelValue: Ref<string | string[] | undefined>;
+    disabled: Ref<boolean>;
+    variant: Ref<ToggleVariants["variant"] | undefined>;
+    size: Ref<ToggleVariants["size"] | undefined>;
+    spacing: Ref<number>;
+    isPressed: (value: string) => boolean;
+    toggleValue: (value: string) => void;
+}
+export declare const TOGGLE_GROUP_INJECTION_KEY: InjectionKey<ToggleGroupContext>;

package/dist/components/ToggleGroup/index.d.ts

@@ -0,0 +1,3 @@
+export { default as ToggleGroup } from "./ToggleGroup.vue";
+export { default as ToggleGroupItem } from "./ToggleGroupItem.vue";
+export { toggleGroupVariants, type ToggleGroupVariants } from "./ToggleGroup.variants";

package/dist/coq-B76ZoOHZ.js

@@ -0,0 +1,3 @@
+var 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+(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\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*(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.coq\"},\"3\":{\"name\":\"entity.name.assumption.coq\"}},\"match\":\"\\\\b(Context)\\\\b\\\\s*`?\\\\s*([({])?\\\\s*(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\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+(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\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*)?(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.coq\"},\"2\":{\"name\":\"entity.name.function.ltac\"}},\"match\":\"\\\\b(Ltac)\\\\s+(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\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+)?(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\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\"}"))];
+//#endregion
+export { e as default };