{"mappings":";AAAA,IAAMA,EAAO,OAAO,OAAO,KAAK,MAAM,05wBAA4s1B,CAAC,EAE5u1BC,EAAQ,CACfD,CACA","names":["lang","moonbit_default"],"sources":["../esm/npm/@shikijs/langs@4.4.3/node_modules/@shikijs/langs/dist/moonbit.mjs"],"sourcesContent":["const lang = Object.freeze(JSON.parse(\"{\\\"displayName\\\":\\\"MoonBit\\\",\\\"fileTypes\\\":[\\\"mbt\\\",\\\"mbtx\\\",\\\"mbtp\\\"],\\\"name\\\":\\\"moonbit\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#doccomment\\\"},{\\\"include\\\":\\\"#linecomment\\\"},{\\\"include\\\":\\\"#regexliteral\\\"},{\\\"include\\\":\\\"#bytes\\\"},{\\\"include\\\":\\\"#string-double\\\"},{\\\"include\\\":\\\"#string-single\\\"},{\\\"include\\\":\\\"#multilineinterp\\\"},{\\\"include\\\":\\\"#multilinestring\\\"},{\\\"include\\\":\\\"#attributename\\\"},{\\\"include\\\":\\\"#type-annotation-var\\\"},{\\\"include\\\":\\\"#type-annotation-return\\\"},{\\\"include\\\":\\\"#object-method-key\\\"},{\\\"include\\\":\\\"#ternary-expression\\\"},{\\\"include\\\":\\\"#fn-definition\\\"},{\\\"include\\\":\\\"#let-destructure\\\"},{\\\"include\\\":\\\"#const-destructure\\\"},{\\\"include\\\":\\\"#as-typekw\\\"},{\\\"include\\\":\\\"#dotint\\\"},{\\\"include\\\":\\\"#float\\\"},{\\\"include\\\":\\\"#double\\\"},{\\\"include\\\":\\\"#int\\\"},{\\\"include\\\":\\\"#scope-keyword-operator-expression-as\\\"},{\\\"include\\\":\\\"#scope-keyword-operator-expression-is\\\"},{\\\"include\\\":\\\"#scope-keyword-operator-expression-not\\\"},{\\\"include\\\":\\\"#tryquestion\\\"},{\\\"include\\\":\\\"#trybang\\\"},{\\\"include\\\":\\\"#lexmatchquestion\\\"},{\\\"include\\\":\\\"#scope-keyword-control-flow\\\"},{\\\"include\\\":\\\"#scope-keyword-control-conditional\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-for\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-in\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-loop\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-while\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-break\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-continue\\\"},{\\\"include\\\":\\\"#scope-keyword-control-exception\\\"},{\\\"include\\\":\\\"#scope-keyword-control-import\\\"},{\\\"include\\\":\\\"#scope-keyword-control-proof\\\"},{\\\"include\\\":\\\"#uident\\\"},{\\\"include\\\":\\\"#prooflabel\\\"},{\\\"include\\\":\\\"#scope-keyword-other\\\"},{\\\"include\\\":\\\"#scope-storage-modifier\\\"},{\\\"include\\\":\\\"#scope-storage-modifier-accessibility\\\"},{\\\"include\\\":\\\"#scope-storage-type-function\\\"},{\\\"include\\\":\\\"#moonbit-impl-header\\\"},{\\\"include\\\":\\\"#scope-storage-type\\\"},{\\\"include\\\":\\\"#scope-storage-type-function-arrow\\\"},{\\\"include\\\":\\\"#scope-constant-language-boolean-true\\\"},{\\\"include\\\":\\\"#scope-constant-language-boolean-false\\\"},{\\\"include\\\":\\\"#method-call\\\"},{\\\"include\\\":\\\"#known-property-access\\\"},{\\\"include\\\":\\\"#property-access\\\"},{\\\"include\\\":\\\"#forall\\\"},{\\\"include\\\":\\\"#exists\\\"},{\\\"include\\\":\\\"#implies\\\"},{\\\"include\\\":\\\"#operator-overrides\\\"},{\\\"include\\\":\\\"#operators\\\"},{\\\"include\\\":\\\"#scope-punctuation-accessor\\\"},{\\\"include\\\":\\\"#scope-punctuation-separator-colon\\\"},{\\\"include\\\":\\\"#scope-punctuation-bracket-square\\\"},{\\\"include\\\":\\\"#scope-punctuation-separator-comma\\\"},{\\\"include\\\":\\\"#scope-punctuation-bracket-round\\\"},{\\\"include\\\":\\\"#scope-punctuation-bracket-curly\\\"},{\\\"include\\\":\\\"#scope-punctuation-terminator-statement\\\"},{\\\"include\\\":\\\"#punctuation\\\"},{\\\"include\\\":\\\"#function-call\\\"},{\\\"include\\\":\\\"#ident\\\"},{\\\"include\\\":\\\"#packagename\\\"},{\\\"include\\\":\\\"#byte\\\"},{\\\"include\\\":\\\"#char\\\"}],\\\"repository\\\":{\\\"as-typekw\\\":{\\\"begin\\\":\\\"\\\\\\\\b(as)\\\\\\\\b(?=\\\\\\\\s+[\\\\\\\"(@\\\\\\\\[_{[:alpha:]\\\\\\\\d]|\\\\\\\\s*$)\\\",\\\"beginCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.operator.expression.as.moonbit\\\"}},\\\"end\\\":\\\"(?=[]),;=\u003e{}]|\\\\\\\\b(?:as|if|else|match|guard|lexmatch|for|while|loop|in|break|continue|return|raise|throw|defer|try|catch|import|using|fn|predicate|lemma|let|letrec|const|type|struct|enum|enumview|extenum|trait|impl|typealias|traitalias|fnalias|suberror|test|pub|priv|readonly|extern|mut|async|declare|noraise|nobreak|proof_assert|proof_let|is|not)\\\\\\\\b)\\\",\\\"name\\\":\\\"meta.type.as.moonbit\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#type-inner\\\"}]},\\\"attributename\\\":{\\\"match\\\":\\\"#[A-Z_a-z][0-9A-Z_a-z]*(?:\\\\\\\\.[A-Z_a-z][0-9A-Z_a-z]*)?\\\",\\\"name\\\":\\\"entity.name.function.decorator.moonbit\\\"},\\\"bind-default\\\":{\\\"begin\\\":\\\"(=)\\\",\\\"beginCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.operator.assignment.moonbit\\\"}},\\\"end\\\":\\\"(?=[]),}])\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"$self\\\"}]},\\\"byte\\\":{\\\"match\\\":\\\"b'(?:\\\\\\\\\\\\\\\\(?:[ \\\\\\\"'/\\\\\\\\\\\\\\\\bfnrt]|x\\\\\\\\h{2}|o[0-3][0-7]{2}|u\\\\\\\\h{4}|u\\\\\\\\{\\\\\\\\h+}|.)|[^\\\\\\\\n'\\\\\\\\\\\\\\\\])+'\\\",\\\"name\\\":\\\"constant.character.byte.moonbit\\\"},\\\"bytes\\\":{\\\"match\\\":\\\"b\\\\\\\"(?:[^\\\\\\\\n\\\\\\\"\\\\\\\\\\\\\\\\]|\\\\\\\\\\\\\\\\(?:[ \\\\\\\"'/\\\\\\\\\\\\\\\\bfnrt]|x\\\\\\\\h{2}|o[0-3][0-7]{2}|u\\\\\\\\h{4}|u\\\\\\\\{\\\\\\\\h+}|.))*\\\\\\\"\\\",\\\"name\\\":\\\"string.quoted.double.bytes.moonbit\\\"},\\\"char\\\":{\\\"match\\\":\\\"'(?:\\\\\\\\\\\\\\\\(?:[ \\\\\\\"'/\\\\\\\\\\\\\\\\bfnrt]|x\\\\\\\\h{2}|o[0-3][0-7]{2}|u\\\\\\\\h{4}|u\\\\\\\\{\\\\\\\\h+}|.)|[^\\\\\\\\n'\\\\\\\\\\\\\\\\])+'\\\",\\\"name\\\":\\\"constant.character.moonbit\\\"},\\\"const-bind-array\\\":{\\\"begin\\\":\\\"\\\\\\\\[\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.binding-pattern.array.moonbit\\\"}},\\\"end\\\":\\\"]\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.binding-pattern.array.moonbit\\\"}},\\\"patterns\\\":[{\\\"include\\\":\\\"#const-bind-elem\\\"}]},\\\"const-bind-elem\\\":{\\\"patterns\\\":[{\\\"match\\\":\\\"(\\\\\\\\.\\\\\\\\.\\\\\\\\.)\\\",\\\"name\\\":\\\"keyword.operator.rest.moonbit\\\"},{\\\"include\\\":\\\"#bind-default\\\"},{\\\"include\\\":\\\"#const-bind-object\\\"},{\\\"include\\\":\\\"#const-bind-array\\\"},{\\\"match\\\":\\\"([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)\\\",\\\"name\\\":\\\"variable.other.constant.moonbit\\\"},{\\\"match\\\":\\\",\\\",\\\"name\\\":\\\"punctuation.separator.comma.moonbit\\\"}]},\\\"const-bind-object\\\":{\\\"begin\\\":\\\"\\\\\\\\{\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.binding-pattern.object.moonbit\\\"}},\\\"end\\\":\\\"}\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.binding-pattern.object.moonbit\\\"}},\\\"patterns\\\":[{\\\"include\\\":\\\"#const-bind-prop\\\"}]},\\\"const-bind-prop\\\":{\\\"patterns\\\":[{\\\"match\\\":\\\"(\\\\\\\\.\\\\\\\\.\\\\\\\\.)\\\",\\\"name\\\":\\\"keyword.operator.rest.moonbit\\\"},{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"variable.object.property.moonbit\\\"},\\\"3\\\":{\\\"name\\\":\\\"punctuation.destructuring.moonbit\\\"}},\\\"match\\\":\\\"([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)(\\\\\\\\s*)(:)\\\"},{\\\"include\\\":\\\"#bind-default\\\"},{\\\"include\\\":\\\"#const-bind-object\\\"},{\\\"include\\\":\\\"#const-bind-array\\\"},{\\\"match\\\":\\\"([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)\\\",\\\"name\\\":\\\"variable.other.constant.moonbit\\\"},{\\\"match\\\":\\\",\\\",\\\"name\\\":\\\"punctuation.separator.comma.moonbit\\\"}]},\\\"const-destructure\\\":{\\\"begin\\\":\\\"\\\\\\\\b(const)\\\\\\\\s+(?=[\\\\\\\\[{])\\\",\\\"beginCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"storage.type.moonbit\\\"}},\\\"end\\\":\\\"(?\u003c=[]}])\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#mut-bind-object\\\"},{\\\"include\\\":\\\"#mut-bind-array\\\"}]},\\\"doccomment\\\":{\\\"match\\\":\\\"///[^\\\\\\\\n]*\\\",\\\"name\\\":\\\"comment.line.documentation.moonbit\\\"},\\\"dotint\\\":{\\\"match\\\":\\\"\\\\\\\\.[0-9]+\\\",\\\"name\\\":\\\"constant.numeric.integer.tuple-index.moonbit\\\"},\\\"double\\\":{\\\"match\\\":\\\"0[Xx]\\\\\\\\h[_\\\\\\\\h]*\\\\\\\\.[_\\\\\\\\h]*(?:[Pp][-+]?[0-9][0-9_]*)?(?!\\\\\\\\.)|[0-9][0-9_]*\\\\\\\\.[0-9_]*(?:[Ee][-+]?[0-9][0-9_]*)?(?!\\\\\\\\.)\\\",\\\"name\\\":\\\"constant.numeric.double.moonbit\\\"},\\\"exists\\\":{\\\"match\\\":\\\"∃\\\",\\\"name\\\":\\\"keyword.operator.quantifier.moonbit\\\"},\\\"expr-scope-keyword-control-flow\\\":{\\\"match\\\":\\\"\\\\\\\\b(raise|throw|return)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.control.flow.moonbit\\\"},\\\"expr-scope-storage-modifier\\\":{\\\"match\\\":\\\"\\\\\\\\b(async)\\\\\\\\b\\\",\\\"name\\\":\\\"storage.modifier.moonbit\\\"},\\\"expr-scope-storage-modifier-accessibility\\\":{\\\"match\\\":\\\"\\\\\\\\b(no(?:raise|break))\\\\\\\\b(?=\\\\\\\\s+(?:\\\\\\\\.\\\\\\\\.\\\\\\\\.|[\\\\\\\"#'*0-9\\\\\\\\[_{[:alpha:]]))\\\",\\\"name\\\":\\\"storage.modifier.moonbit\\\"},\\\"expression\\\":{\\\"patterns\\\":[{\\\"include\\\":\\\"#doccomment\\\"},{\\\"include\\\":\\\"#linecomment\\\"},{\\\"include\\\":\\\"#regexliteral\\\"},{\\\"include\\\":\\\"#bytes\\\"},{\\\"include\\\":\\\"#string-double\\\"},{\\\"include\\\":\\\"#string-single\\\"},{\\\"include\\\":\\\"#multilineinterp\\\"},{\\\"include\\\":\\\"#multilinestring\\\"},{\\\"include\\\":\\\"#attributename\\\"},{\\\"include\\\":\\\"#type-annotation-return\\\"},{\\\"include\\\":\\\"#object-method-key\\\"},{\\\"include\\\":\\\"#ternary-expression\\\"},{\\\"include\\\":\\\"#fn-definition\\\"},{\\\"include\\\":\\\"#as-typekw\\\"},{\\\"include\\\":\\\"#dotint\\\"},{\\\"include\\\":\\\"#float\\\"},{\\\"include\\\":\\\"#double\\\"},{\\\"include\\\":\\\"#int\\\"},{\\\"include\\\":\\\"#scope-keyword-operator-expression-as\\\"},{\\\"include\\\":\\\"#scope-keyword-operator-expression-is\\\"},{\\\"include\\\":\\\"#scope-keyword-operator-expression-not\\\"},{\\\"include\\\":\\\"#tryquestion\\\"},{\\\"include\\\":\\\"#trybang\\\"},{\\\"include\\\":\\\"#lexmatchquestion\\\"},{\\\"include\\\":\\\"#expr-scope-keyword-control-flow\\\"},{\\\"include\\\":\\\"#scope-keyword-control-conditional\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-for\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-in\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-loop\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-while\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-break\\\"},{\\\"include\\\":\\\"#scope-keyword-control-loop-continue\\\"},{\\\"include\\\":\\\"#scope-keyword-control-exception\\\"},{\\\"include\\\":\\\"#uident\\\"},{\\\"include\\\":\\\"#prooflabel\\\"},{\\\"include\\\":\\\"#scope-keyword-other\\\"},{\\\"include\\\":\\\"#expr-scope-storage-modifier\\\"},{\\\"include\\\":\\\"#expr-scope-storage-modifier-accessibility\\\"},{\\\"include\\\":\\\"#scope-storage-type-function\\\"},{\\\"include\\\":\\\"#scope-storage-type-function-arrow\\\"},{\\\"include\\\":\\\"#scope-constant-language-boolean-true\\\"},{\\\"include\\\":\\\"#scope-constant-language-boolean-false\\\"},{\\\"include\\\":\\\"#method-call\\\"},{\\\"include\\\":\\\"#known-property-access\\\"},{\\\"include\\\":\\\"#property-access\\\"},{\\\"include\\\":\\\"#forall\\\"},{\\\"include\\\":\\\"#exists\\\"},{\\\"include\\\":\\\"#implies\\\"},{\\\"include\\\":\\\"#operator-overrides\\\"},{\\\"include\\\":\\\"#operators\\\"},{\\\"include\\\":\\\"#scope-punctuation-accessor\\\"},{\\\"include\\\":\\\"#scope-punctuation-separator-colon\\\"},{\\\"include\\\":\\\"#scope-punctuation-bracket-square\\\"},{\\\"include\\\":\\\"#scope-punctuation-separator-comma\\\"},{\\\"include\\\":\\\"#scope-punctuation-bracket-round\\\"},{\\\"include\\\":\\\"#scope-punctuation-bracket-curly\\\"},{\\\"include\\\":\\\"#scope-punctuation-terminator-statement\\\"},{\\\"include\\\":\\\"#punctuation\\\"},{\\\"include\\\":\\\"#function-call\\\"},{\\\"include\\\":\\\"#ident\\\"},{\\\"include\\\":\\\"#packagename\\\"},{\\\"include\\\":\\\"#byte\\\"},{\\\"include\\\":\\\"#char\\\"}]},\\\"float\\\":{\\\"match\\\":\\\"0[Xx]\\\\\\\\h[_\\\\\\\\h]*\\\\\\\\.[_\\\\\\\\h]*[Pp][-+]?[0-9][0-9_]*F|[0-9][0-9_]*\\\\\\\\.[0-9_]*(?:[Ee][-+]?[0-9][0-9_]*)?F\\\",\\\"name\\\":\\\"constant.numeric.float.moonbit\\\"},\\\"fn-definition\\\":{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"storage.type.function.moonbit\\\"},\\\"2\\\":{\\\"name\\\":\\\"entity.name.function.moonbit\\\"}},\\\"match\\\":\\\"\\\\\\\\b(fn)\\\\\\\\s+([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)\\\"},\\\"forall\\\":{\\\"match\\\":\\\"∀\\\",\\\"name\\\":\\\"keyword.operator.quantifier.moonbit\\\"},\\\"function-call\\\":{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"entity.name.function.moonbit\\\"}},\\\"match\\\":\\\"([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)(?=\\\\\\\\s*\\\\\\\\()\\\"},\\\"ident\\\":{\\\"match\\\":\\\"[_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*\\\",\\\"name\\\":\\\"variable.other.readwrite.moonbit\\\"},\\\"implies\\\":{\\\"match\\\":\\\"→\\\",\\\"name\\\":\\\"keyword.operator.logical.implication.moonbit\\\"},\\\"int\\\":{\\\"match\\\":\\\"(?:0[Xx]\\\\\\\\h[_\\\\\\\\h]*|0[Oo][0-7][0-7_]*|0[Bb][01][01_]*|[0-9][0-9_]*)(?:UL|[LNU])?\\\",\\\"name\\\":\\\"constant.numeric.integer.moonbit\\\"},\\\"known-property-access\\\":{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"punctuation.accessor.moonbit\\\"},\\\"2\\\":{\\\"name\\\":\\\"keyword.operator.range.moonbit\\\"}},\\\"match\\\":\\\"(?\u003c=[])\\\\\\\\w])(\\\\\\\\.)\\\\\\\\s*(\\\\\\\\.(?:|=|\u003c=??|\\\\\\\\.))\\\\\\\\b\\\"},\\\"let-destructure\\\":{\\\"begin\\\":\\\"\\\\\\\\b(let)\\\\\\\\s+(?=[\\\\\\\\[{])\\\",\\\"beginCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"storage.type.moonbit\\\"}},\\\"end\\\":\\\"(?\u003c=[]}])\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#mut-bind-object\\\"},{\\\"include\\\":\\\"#mut-bind-array\\\"}]},\\\"lexmatchquestion\\\":{\\\"match\\\":\\\"lexmatch\\\\\\\\?\\\",\\\"name\\\":\\\"keyword.control.conditional.moonbit\\\"},\\\"linecomment\\\":{\\\"match\\\":\\\"//[^\\\\\\\\n]*\\\",\\\"name\\\":\\\"comment.line.double-slash.moonbit\\\"},\\\"method-call\\\":{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"punctuation.accessor.moonbit\\\"},\\\"2\\\":{\\\"name\\\":\\\"entity.name.function.moonbit\\\"}},\\\"match\\\":\\\"(?\u003c=[])\\\\\\\\w])(\\\\\\\\.)\\\\\\\\s*([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)(?=\\\\\\\\s*\\\\\\\\()\\\"},\\\"moonbit-impl-header\\\":{\\\"begin\\\":\\\"\\\\\\\\b(impl)\\\\\\\\b\\\",\\\"beginCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"storage.type.moonbit\\\"}},\\\"end\\\":\\\"(?=\\\\\\\\bwith\\\\\\\\b|[;{]|$)\\\",\\\"name\\\":\\\"meta.impl.header.moonbit\\\",\\\"patterns\\\":[{\\\"match\\\":\\\"\\\\\\\\b(for)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.other.impl.moonbit\\\"},{\\\"include\\\":\\\"#type-inner\\\"},{\\\"include\\\":\\\"$self\\\"}]},\\\"moonbit-interpolation-braces\\\":{\\\"begin\\\":\\\"\\\\\\\\{\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.block.moonbit\\\"}},\\\"end\\\":\\\"}\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.block.moonbit\\\"}},\\\"patterns\\\":[{\\\"include\\\":\\\"#moonbit-interpolation-braces\\\"},{\\\"include\\\":\\\"$self\\\"}]},\\\"multilineinterp\\\":{\\\"begin\\\":\\\"\\\\\\\\$\\\\\\\\|\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"string.quoted.other.multiline.interpolated.moonbit punctuation.definition.string.begin.moonbit\\\"}},\\\"end\\\":\\\"$\\\",\\\"patterns\\\":[{\\\"begin\\\":\\\"\\\\\\\\\\\\\\\\\\\\\\\\{\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.template-expression.begin.moonbit\\\"}},\\\"end\\\":\\\"}\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.template-expression.end.moonbit\\\"}},\\\"name\\\":\\\"meta.embedded.expression.moonbit\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#moonbit-interpolation-braces\\\"},{\\\"include\\\":\\\"$self\\\"}]},{\\\"match\\\":\\\"(?:\\\\\\\\\\\\\\\\(?!\\\\\\\\{)|[^\\\\\\\\n\\\\\\\\\\\\\\\\])+\\\",\\\"name\\\":\\\"string.quoted.other.multiline.interpolated.moonbit\\\"}]},\\\"multilinestring\\\":{\\\"match\\\":\\\"#\\\\\\\\|[^\\\\\\\\n]*\\\",\\\"name\\\":\\\"string.quoted.other.multiline.moonbit\\\"},\\\"mut-bind-array\\\":{\\\"begin\\\":\\\"\\\\\\\\[\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.binding-pattern.array.moonbit\\\"}},\\\"end\\\":\\\"]\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.binding-pattern.array.moonbit\\\"}},\\\"patterns\\\":[{\\\"include\\\":\\\"#mut-bind-elem\\\"}]},\\\"mut-bind-elem\\\":{\\\"patterns\\\":[{\\\"match\\\":\\\"(\\\\\\\\.\\\\\\\\.\\\\\\\\.)\\\",\\\"name\\\":\\\"keyword.operator.rest.moonbit\\\"},{\\\"include\\\":\\\"#bind-default\\\"},{\\\"include\\\":\\\"#mut-bind-object\\\"},{\\\"include\\\":\\\"#mut-bind-array\\\"},{\\\"match\\\":\\\"([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)\\\",\\\"name\\\":\\\"variable.other.readwrite.moonbit\\\"},{\\\"match\\\":\\\",\\\",\\\"name\\\":\\\"punctuation.separator.comma.moonbit\\\"}]},\\\"mut-bind-object\\\":{\\\"begin\\\":\\\"\\\\\\\\{\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.binding-pattern.object.moonbit\\\"}},\\\"end\\\":\\\"}\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.binding-pattern.object.moonbit\\\"}},\\\"patterns\\\":[{\\\"include\\\":\\\"#mut-bind-prop\\\"}]},\\\"mut-bind-prop\\\":{\\\"patterns\\\":[{\\\"match\\\":\\\"(\\\\\\\\.\\\\\\\\.\\\\\\\\.)\\\",\\\"name\\\":\\\"keyword.operator.rest.moonbit\\\"},{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"variable.object.property.moonbit\\\"},\\\"3\\\":{\\\"name\\\":\\\"punctuation.destructuring.moonbit\\\"}},\\\"match\\\":\\\"([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)(\\\\\\\\s*)(:)\\\"},{\\\"include\\\":\\\"#bind-default\\\"},{\\\"include\\\":\\\"#mut-bind-object\\\"},{\\\"include\\\":\\\"#mut-bind-array\\\"},{\\\"match\\\":\\\"([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)\\\",\\\"name\\\":\\\"variable.other.readwrite.moonbit\\\"},{\\\"match\\\":\\\",\\\",\\\"name\\\":\\\"punctuation.separator.comma.moonbit\\\"}]},\\\"object-method-key\\\":{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"entity.name.function.moonbit\\\"}},\\\"match\\\":\\\"([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)(?=\\\\\\\\s*:\\\\\\\\s*(?:\\\\\\\\w+\\\\\\\\s+)?\\\\\\\\()\\\"},\\\"operator-overrides\\\":{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.operator.range.moonbit\\\"},\\\"2\\\":{\\\"name\\\":\\\"keyword.operator.range.moonbit\\\"},\\\"3\\\":{\\\"name\\\":\\\"keyword.operator.range.moonbit\\\"},\\\"4\\\":{\\\"name\\\":\\\"keyword.operator.range.moonbit\\\"},\\\"5\\\":{\\\"name\\\":\\\"keyword.operator.range.moonbit\\\"},\\\"6\\\":{\\\"name\\\":\\\"keyword.operator.range.moonbit\\\"},\\\"7\\\":{\\\"name\\\":\\\"keyword.operator.range.moonbit\\\"},\\\"8\\\":{\\\"name\\\":\\\"keyword.operator.comparison.moonbit\\\"},\\\"9\\\":{\\\"name\\\":\\\"keyword.operator.assignment.moonbit\\\"},\\\"10\\\":{\\\"name\\\":\\\"keyword.operator.assignment.moonbit\\\"},\\\"11\\\":{\\\"name\\\":\\\"keyword.operator.assignment.moonbit\\\"},\\\"12\\\":{\\\"name\\\":\\\"keyword.operator.assignment.moonbit\\\"},\\\"13\\\":{\\\"name\\\":\\\"keyword.operator.assignment.moonbit\\\"},\\\"14\\\":{\\\"name\\\":\\\"keyword.operator.pipe.moonbit\\\"},\\\"15\\\":{\\\"name\\\":\\\"keyword.operator.pipe.moonbit\\\"},\\\"16\\\":{\\\"name\\\":\\\"keyword.operator.logical.moonbit\\\"},\\\"17\\\":{\\\"name\\\":\\\"keyword.operator.logical.moonbit\\\"},\\\"18\\\":{\\\"name\\\":\\\"keyword.operator.comparison.moonbit\\\"},\\\"19\\\":{\\\"name\\\":\\\"keyword.operator.comparison.moonbit\\\"},\\\"20\\\":{\\\"name\\\":\\\"keyword.operator.comparison.moonbit\\\"},\\\"21\\\":{\\\"name\\\":\\\"keyword.operator.comparison.moonbit\\\"},\\\"22\\\":{\\\"name\\\":\\\"keyword.operator.bitwise.moonbit\\\"},\\\"23\\\":{\\\"name\\\":\\\"keyword.operator.bitwise.moonbit\\\"},\\\"24\\\":{\\\"name\\\":\\\"keyword.operator.bitwise.moonbit\\\"},\\\"25\\\":{\\\"name\\\":\\\"keyword.operator.arithmetic.moonbit\\\"},\\\"26\\\":{\\\"name\\\":\\\"keyword.operator.assignment.moonbit\\\"},\\\"27\\\":{\\\"name\\\":\\\"keyword.operator.arithmetic.moonbit\\\"},\\\"28\\\":{\\\"name\\\":\\\"keyword.operator.bitwise.moonbit\\\"},\\\"29\\\":{\\\"name\\\":\\\"keyword.operator.bitwise.moonbit\\\"},\\\"30\\\":{\\\"name\\\":\\\"keyword.operator.comparison.moonbit\\\"},\\\"31\\\":{\\\"name\\\":\\\"keyword.operator.comparison.moonbit\\\"},\\\"32\\\":{\\\"name\\\":\\\"keyword.operator.arithmetic.moonbit\\\"},\\\"33\\\":{\\\"name\\\":\\\"keyword.operator.arithmetic.moonbit\\\"},\\\"34\\\":{\\\"name\\\":\\\"keyword.operator.arithmetic.moonbit\\\"}},\\\"match\\\":\\\"(\\\\\\\\.\\\\\\\\.\u003c=)|(\u003e=\\\\\\\\.\\\\\\\\.)|(\\\\\\\\.\\\\\\\\.\\\\\\\\.)|(\\\\\\\\.\\\\\\\\.\u003c)|(\\\\\\\\.\\\\\\\\.=)|(\u003e\\\\\\\\.\\\\\\\\.)|(\\\\\\\\.\\\\\\\\.)|(=~)|(\\\\\\\\+=)|(-=)|(\\\\\\\\*=)|(/=)|(%=)|(\\\\\\\\|\u003e)|(\u003c\\\\\\\\|)|(\\\\\\\\|\\\\\\\\|)|(\u0026\u0026)|(==)|(!=)|(\u003c=)|(\u003e=)|(\u003c\u003c)|(\u003e\u003e)|(\u0026)|(\\\\\\\\+)|(=)|(-)|(\\\\\\\\|)|(\\\\\\\\^)|(\u003c)|(\u003e)|(\\\\\\\\*)|(/)|(%)\\\"},\\\"operators\\\":{\\\"match\\\":\\\"!\\\",\\\"name\\\":\\\"keyword.operator.moonbit\\\"},\\\"packagename\\\":{\\\"match\\\":\\\"@[A-Z_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*(?:/[A-Z_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)*\\\",\\\"name\\\":\\\"entity.name.namespace.moonbit\\\"},\\\"prooflabel\\\":{\\\"match\\\":\\\"proof_(?:require|ensure|invariant|yield|decrease|reasoning|axiomatized)(?=\\\\\\\\s*:)\\\",\\\"name\\\":\\\"keyword.other.proof-label.moonbit\\\"},\\\"property-access\\\":{\\\"captures\\\":{\\\"1\\\":{\\\"name\\\":\\\"punctuation.accessor.moonbit\\\"},\\\"2\\\":{\\\"name\\\":\\\"variable.other.property.moonbit\\\"}},\\\"match\\\":\\\"(?\u003c=[])\\\\\\\\w])(\\\\\\\\.)\\\\\\\\s*([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)\\\"},\\\"punctuation\\\":{\\\"match\\\":\\\"\u003c\\\\\\\\+|\u003c\\\\\\\\?|[?~]\\\",\\\"name\\\":\\\"punctuation.moonbit\\\"},\\\"regexliteral\\\":{\\\"begin\\\":\\\"(re)(\\\\\\\")\\\",\\\"beginCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"string.regexp.moonbit\\\"},\\\"2\\\":{\\\"name\\\":\\\"string.regexp.moonbit punctuation.definition.string.begin.moonbit\\\"}},\\\"end\\\":\\\"\\\\\\\"|$\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"string.regexp.moonbit punctuation.definition.string.end.moonbit\\\"}},\\\"patterns\\\":[{\\\"begin\\\":\\\"\\\\\\\\\\\\\\\\\\\\\\\\{\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.template-expression.begin.moonbit\\\"}},\\\"end\\\":\\\"}\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.template-expression.end.moonbit\\\"}},\\\"name\\\":\\\"meta.embedded.expression.moonbit\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#moonbit-interpolation-braces\\\"},{\\\"include\\\":\\\"$self\\\"}]},{\\\"match\\\":\\\"\\\\\\\\\\\\\\\\(?:[ \\\\\\\"'/\\\\\\\\\\\\\\\\bfnrt]|x\\\\\\\\h{2}|o[0-3][0-7]{2}|u\\\\\\\\h{4}|u\\\\\\\\{\\\\\\\\h+}|.)\\\",\\\"name\\\":\\\"constant.character.escape.moonbit\\\"},{\\\"match\\\":\\\"(?:\\\\\\\\\\\\\\\\(?!\\\\\\\\{)|[^\\\\\\\"\\\\\\\\\\\\\\\\])+\\\",\\\"name\\\":\\\"string.regexp.moonbit\\\"}]},\\\"scope-constant-language-boolean-false\\\":{\\\"match\\\":\\\"\\\\\\\\b(false)\\\\\\\\b\\\",\\\"name\\\":\\\"constant.language.boolean.false.moonbit\\\"},\\\"scope-constant-language-boolean-true\\\":{\\\"match\\\":\\\"\\\\\\\\b(true)\\\\\\\\b\\\",\\\"name\\\":\\\"constant.language.boolean.true.moonbit\\\"},\\\"scope-keyword-control-conditional\\\":{\\\"match\\\":\\\"\\\\\\\\b(if|else|guard|match|lexmatch)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.control.conditional.moonbit\\\"},\\\"scope-keyword-control-exception\\\":{\\\"match\\\":\\\"\\\\\\\\b(try|catch)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.control.exception.moonbit\\\"},\\\"scope-keyword-control-flow\\\":{\\\"match\\\":\\\"\\\\\\\\b(raise|throw|return|defer)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.control.flow.moonbit\\\"},\\\"scope-keyword-control-import\\\":{\\\"match\\\":\\\"\\\\\\\\b(import|using)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.control.import.moonbit\\\"},\\\"scope-keyword-control-loop-break\\\":{\\\"match\\\":\\\"\\\\\\\\b(break)\\\\\\\\b(?=\\\\\\\\s+[\\\\\\\"(@\\\\\\\\[_{[:alpha:]\\\\\\\\d]|\\\\\\\\s*$|\\\\\\\\s*[\\\\\\\"(\\\\\\\\[{])\\\",\\\"name\\\":\\\"keyword.control.loop.moonbit\\\"},\\\"scope-keyword-control-loop-continue\\\":{\\\"match\\\":\\\"\\\\\\\\b(continue)\\\\\\\\b(?=\\\\\\\\s+[\\\\\\\"(@\\\\\\\\[_{[:alpha:]\\\\\\\\d]|\\\\\\\\s*$|\\\\\\\\s*[\\\\\\\"(\\\\\\\\[{])\\\",\\\"name\\\":\\\"keyword.control.loop.moonbit\\\"},\\\"scope-keyword-control-loop-for\\\":{\\\"match\\\":\\\"\\\\\\\\b(for)\\\\\\\\b(?=\\\\\\\\s+[\\\\\\\"(@\\\\\\\\[_{[:alpha:]\\\\\\\\d]|\\\\\\\\s*$|\\\\\\\\s*[\\\\\\\"(\\\\\\\\[{])\\\",\\\"name\\\":\\\"keyword.control.loop.moonbit\\\"},\\\"scope-keyword-control-loop-in\\\":{\\\"match\\\":\\\"\\\\\\\\b(in)\\\\\\\\b(?=\\\\\\\\s+[\\\\\\\"(@\\\\\\\\[_{[:alpha:]\\\\\\\\d]|\\\\\\\\s*$|\\\\\\\\s*[\\\\\\\"(\\\\\\\\[{])\\\",\\\"name\\\":\\\"keyword.control.loop.moonbit\\\"},\\\"scope-keyword-control-loop-loop\\\":{\\\"match\\\":\\\"\\\\\\\\b(loop)\\\\\\\\b(?=\\\\\\\\s+[\\\\\\\"(@\\\\\\\\[_{[:alpha:]\\\\\\\\d]|\\\\\\\\s*$|\\\\\\\\s*[\\\\\\\"(\\\\\\\\[{])\\\",\\\"name\\\":\\\"keyword.control.loop.moonbit\\\"},\\\"scope-keyword-control-loop-while\\\":{\\\"match\\\":\\\"\\\\\\\\b(while)\\\\\\\\b(?=\\\\\\\\s+[\\\\\\\"(@\\\\\\\\[_{[:alpha:]\\\\\\\\d]|\\\\\\\\s*$|\\\\\\\\s*[\\\\\\\"(\\\\\\\\[{])\\\",\\\"name\\\":\\\"keyword.control.loop.moonbit\\\"},\\\"scope-keyword-control-proof\\\":{\\\"match\\\":\\\"\\\\\\\\b(proof_(?:assert|let))\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.control.proof.moonbit\\\"},\\\"scope-keyword-operator-expression-as\\\":{\\\"match\\\":\\\"\\\\\\\\b(as)\\\\\\\\b(?=\\\\\\\\s+[\\\\\\\"(@\\\\\\\\[_{[:alpha:]\\\\\\\\d]|\\\\\\\\s*$)\\\",\\\"name\\\":\\\"keyword.operator.expression.moonbit\\\"},\\\"scope-keyword-operator-expression-is\\\":{\\\"match\\\":\\\"\\\\\\\\b(is)\\\\\\\\b(?=\\\\\\\\s+[\\\\\\\"(@\\\\\\\\[_{[:alpha:]\\\\\\\\d]|\\\\\\\\s*$)\\\",\\\"name\\\":\\\"keyword.operator.expression.moonbit\\\"},\\\"scope-keyword-operator-expression-not\\\":{\\\"match\\\":\\\"\\\\\\\\b(not)\\\\\\\\b(?=\\\\\\\\s+[\\\\\\\"(@\\\\\\\\[_{[:alpha:]\\\\\\\\d]|\\\\\\\\s*$)\\\",\\\"name\\\":\\\"keyword.operator.expression.moonbit\\\"},\\\"scope-keyword-other\\\":{\\\"match\\\":\\\"\\\\\\\\b(_|Unit|Bool|Byte|Char|Int|Int64|UInt|UInt64|Float|Double|String|Bytes|Array|FixedArray|Option|Result|Json|where|with|all|open|derive|and)\\\\\\\\b\\\",\\\"name\\\":\\\"keyword.other.moonbit\\\"},\\\"scope-punctuation-accessor\\\":{\\\"match\\\":\\\"\\\\\\\\.\\\",\\\"name\\\":\\\"punctuation.accessor.moonbit\\\"},\\\"scope-punctuation-bracket-curly\\\":{\\\"match\\\":\\\"[{}]\\\",\\\"name\\\":\\\"punctuation.bracket.curly.moonbit\\\"},\\\"scope-punctuation-bracket-round\\\":{\\\"match\\\":\\\"[()]\\\",\\\"name\\\":\\\"punctuation.bracket.round.moonbit\\\"},\\\"scope-punctuation-bracket-square\\\":{\\\"match\\\":\\\"[]\\\\\\\\[]\\\",\\\"name\\\":\\\"punctuation.bracket.square.moonbit\\\"},\\\"scope-punctuation-separator-colon\\\":{\\\"match\\\":\\\":\\\",\\\"name\\\":\\\"punctuation.separator.colon.moonbit\\\"},\\\"scope-punctuation-separator-comma\\\":{\\\"match\\\":\\\",\\\",\\\"name\\\":\\\"punctuation.separator.comma.moonbit\\\"},\\\"scope-punctuation-terminator-statement\\\":{\\\"match\\\":\\\";\\\",\\\"name\\\":\\\"punctuation.terminator.statement.moonbit\\\"},\\\"scope-storage-modifier\\\":{\\\"match\\\":\\\"\\\\\\\\b(async|pub|priv|readonly|extern)\\\\\\\\b\\\",\\\"name\\\":\\\"storage.modifier.moonbit\\\"},\\\"scope-storage-modifier-accessibility\\\":{\\\"match\\\":\\\"\\\\\\\\b(noraise|mut|nobreak|declare)\\\\\\\\b(?=\\\\\\\\s+(?:\\\\\\\\.\\\\\\\\.\\\\\\\\.|[\\\\\\\"#'*0-9\\\\\\\\[_{[:alpha:]]))\\\",\\\"name\\\":\\\"storage.modifier.moonbit\\\"},\\\"scope-storage-type\\\":{\\\"match\\\":\\\"\\\\\\\\b(let|const|letrec|type|struct|enum|extenum|suberror|enumview|typealias|traitalias|fnalias|trait|impl|test)\\\\\\\\b\\\",\\\"name\\\":\\\"storage.type.moonbit\\\"},\\\"scope-storage-type-function\\\":{\\\"match\\\":\\\"\\\\\\\\b(fn|predicate|lemma)\\\\\\\\b\\\",\\\"name\\\":\\\"storage.type.function.moonbit\\\"},\\\"scope-storage-type-function-arrow\\\":{\\\"match\\\":\\\"[-=]\u003e\\\",\\\"name\\\":\\\"storage.type.function.arrow.moonbit\\\"},\\\"simple-type\\\":{\\\"match\\\":\\\"[_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*\\\",\\\"name\\\":\\\"entity.name.type.moonbit\\\"},\\\"string-double\\\":{\\\"begin\\\":\\\"\\\\\\\"\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"string.quoted.double.moonbit punctuation.definition.string.begin.moonbit\\\"}},\\\"end\\\":\\\"\\\\\\\"|$\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"string.quoted.double.moonbit punctuation.definition.string.end.moonbit\\\"}},\\\"patterns\\\":[{\\\"begin\\\":\\\"\\\\\\\\\\\\\\\\\\\\\\\\{\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.template-expression.begin.moonbit\\\"}},\\\"end\\\":\\\"}\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.template-expression.end.moonbit\\\"}},\\\"name\\\":\\\"meta.embedded.expression.moonbit\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#moonbit-interpolation-braces\\\"},{\\\"include\\\":\\\"$self\\\"}]},{\\\"match\\\":\\\"\\\\\\\\\\\\\\\\(?:[ \\\\\\\"'/\\\\\\\\\\\\\\\\bfnrt]|x\\\\\\\\h{2}|o[0-3][0-7]{2}|u\\\\\\\\h{4}|u\\\\\\\\{\\\\\\\\h+}|.)\\\",\\\"name\\\":\\\"constant.character.escape.moonbit\\\"},{\\\"match\\\":\\\"[^\\\\\\\"\\\\\\\\\\\\\\\\]+\\\",\\\"name\\\":\\\"string.quoted.double.moonbit\\\"}]},\\\"string-single\\\":{\\\"begin\\\":\\\"'\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.string.begin.moonbit\\\"}},\\\"end\\\":\\\"'|$\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.string.end.moonbit\\\"}},\\\"name\\\":\\\"string.quoted.single.moonbit\\\",\\\"patterns\\\":[{\\\"match\\\":\\\"\\\\\\\\\\\\\\\\(?:[ \\\\\\\"'/\\\\\\\\\\\\\\\\bfnrt]|x\\\\\\\\h{2}|o[0-3][0-7]{2}|u\\\\\\\\h{4}|u\\\\\\\\{\\\\\\\\h+}|.)\\\",\\\"name\\\":\\\"constant.character.escape.moonbit\\\"}]},\\\"ternary-expression\\\":{\\\"begin\\\":\\\"(\\\\\\\\?)(?!:)\\\",\\\"beginCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.operator.ternary.moonbit\\\"}},\\\"end\\\":\\\"(:)\\\",\\\"endCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.operator.ternary.moonbit\\\"}},\\\"name\\\":\\\"meta.ternary-expression.moonbit\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#ternary-expression\\\"},{\\\"include\\\":\\\"$self\\\"}]},\\\"trybang\\\":{\\\"match\\\":\\\"try!\\\",\\\"name\\\":\\\"keyword.control.exception.moonbit\\\"},\\\"tryquestion\\\":{\\\"match\\\":\\\"try\\\\\\\\?\\\",\\\"name\\\":\\\"keyword.control.exception.moonbit\\\"},\\\"type-annotation-return\\\":{\\\"begin\\\":\\\"(?\u003c=\\\\\\\\))(:)\\\",\\\"beginCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"keyword.operator.type.annotation.moonbit\\\"}},\\\"end\\\":\\\"(?=[;{]|=\u003e)\\\",\\\"name\\\":\\\"meta.type.annotation.return.moonbit\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#type-inner\\\"}]},\\\"type-annotation-var\\\":{\\\"begin\\\":\\\"\\\\\\\\b(let|const|letrec|type|struct|enum|extenum|suberror|enumview|typealias|traitalias|fnalias|trait|impl|test)\\\\\\\\s+([_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)(\\\\\\\\s*:)\\\",\\\"beginCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"storage.type.moonbit\\\"},\\\"2\\\":{\\\"name\\\":\\\"variable.other.moonbit\\\"},\\\"3\\\":{\\\"name\\\":\\\"keyword.operator.type.annotation.moonbit\\\"}},\\\"end\\\":\\\"(?=[,;=])|^\\\\\\\\s*(?=if|else|match|guard|lexmatch|for|while|loop|in|break|continue|return|throw|defer|try|catch|import|using|fn|predicate|lemma|let|letrec|const|type|struct|enum|enumview|extenum|trait|impl|typealias|traitalias|fnalias|suberror|test|pub|priv|readonly|extern|mut|declare|nobreak|proof_assert|proof_let)\\\\\\\\b\\\",\\\"name\\\":\\\"meta.type.annotation.moonbit\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#type-inner\\\"}]},\\\"type-inner\\\":{\\\"patterns\\\":[{\\\"include\\\":\\\"#type-object-type\\\"},{\\\"include\\\":\\\"#type-paren\\\"},{\\\"include\\\":\\\"#uident\\\"},{\\\"include\\\":\\\"#doccomment\\\"},{\\\"include\\\":\\\"#linecomment\\\"},{\\\"include\\\":\\\"#scope-constant-language-boolean-true\\\"},{\\\"include\\\":\\\"#scope-constant-language-boolean-false\\\"},{\\\"include\\\":\\\"#scope-keyword-operator-expression-as\\\"},{\\\"include\\\":\\\"#scope-keyword-operator-expression-is\\\"},{\\\"include\\\":\\\"#scope-keyword-operator-expression-not\\\"},{\\\"include\\\":\\\"#simple-type\\\"},{\\\"match\\\":\\\"\\\\\\\\[]\\\",\\\"name\\\":\\\"keyword.operator.type.array.moonbit\\\"},{\\\"match\\\":\\\",\\\",\\\"name\\\":\\\"punctuation.separator.comma.moonbit\\\"}]},\\\"type-object-member\\\":{\\\"begin\\\":\\\"(#?[_a-z\\\\\\\\x{80}-￿][0-9A-Z_a-z\\\\\\\\x{80}-￿]*)(\\\\\\\\??)(\\\\\\\\s*:)\\\",\\\"beginCaptures\\\":{\\\"1\\\":{\\\"name\\\":\\\"variable.object.property.moonbit\\\"},\\\"2\\\":{\\\"name\\\":\\\"keyword.operator.optional.moonbit\\\"},\\\"3\\\":{\\\"name\\\":\\\"keyword.operator.type.annotation.moonbit\\\"}},\\\"end\\\":\\\"(?=[,;}])\\\",\\\"name\\\":\\\"meta.type.annotation.member.moonbit\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#type-inner\\\"}]},\\\"type-object-type\\\":{\\\"begin\\\":\\\"\\\\\\\\{\\\",\\\"beginCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.block.moonbit\\\"}},\\\"end\\\":\\\"}\\\",\\\"endCaptures\\\":{\\\"0\\\":{\\\"name\\\":\\\"punctuation.definition.block.moonbit\\\"}},\\\"name\\\":\\\"meta.object-type.moonbit\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#type-object-member\\\"},{\\\"include\\\":\\\"#type-inner\\\"},{\\\"match\\\":\\\";\\\",\\\"name\\\":\\\"punctuation.separator.moonbit\\\"}]},\\\"type-paren\\\":{\\\"begin\\\":\\\"\\\\\\\\(\\\",\\\"end\\\":\\\"\\\\\\\\)\\\",\\\"patterns\\\":[{\\\"include\\\":\\\"#type-inner\\\"}]},\\\"uident\\\":{\\\"match\\\":\\\"[A-Z][0-9A-Z_a-z]*\\\\\\\\??\\\",\\\"name\\\":\\\"entity.name.type.moonbit\\\"}},\\\"scopeName\\\":\\\"source.moonbit\\\",\\\"aliases\\\":[\\\"mbt\\\",\\\"mbti\\\"]}\"))\n\nexport default [\nlang\n]\n"],"version":3}