1 | declare const _: {
|
2 | "name": "F*",
|
3 | "fsName": "Fstar",
|
4 | "type": "programming",
|
5 | "color": "#572e30",
|
6 | "aliases": [
|
7 | "fstar"
|
8 | ],
|
9 | "extensions": [
|
10 | ".fst",
|
11 | ".fsti"
|
12 | ],
|
13 | "tmScope": "source.fstar",
|
14 | "aceMode": "text",
|
15 | "languageId": 336943375
|
16 | }
|
17 | export = _
|