@jpoly1219/context-extractor 0.2.2 → 0.2.3
Sign up to get free protection for your applications and to get access to all the features.
- package/dist/app.js +4 -3
- package/dist/core.d.ts +1 -1
- package/dist/main.js +4 -3
- package/dist/ocaml-driver.d.ts +1 -1
- package/dist/ts-lsp-client-dist/src/jsonRpcEndpoint.d.ts +15 -0
- package/dist/ts-lsp-client-dist/src/jsonRpcEndpoint.js +48 -0
- package/dist/ts-lsp-client-dist/src/jsonRpcEndpoint.js.map +1 -0
- package/dist/ts-lsp-client-dist/src/jsonRpcTransform.d.ts +12 -0
- package/dist/ts-lsp-client-dist/src/jsonRpcTransform.js +116 -0
- package/dist/ts-lsp-client-dist/src/jsonRpcTransform.js.map +1 -0
- package/dist/ts-lsp-client-dist/src/logger.d.ts +14 -0
- package/dist/ts-lsp-client-dist/src/logger.js +61 -0
- package/dist/ts-lsp-client-dist/src/logger.js.map +1 -0
- package/dist/ts-lsp-client-dist/src/lspClient.d.ts +32 -0
- package/dist/ts-lsp-client-dist/src/lspClient.js +83 -0
- package/dist/ts-lsp-client-dist/src/lspClient.js.map +1 -0
- package/dist/ts-lsp-client-dist/src/main.d.ts +4 -0
- package/dist/ts-lsp-client-dist/src/main.js +8 -0
- package/dist/ts-lsp-client-dist/src/main.js.map +1 -0
- package/dist/ts-lsp-client-dist/src/models.d.ts +949 -0
- package/dist/ts-lsp-client-dist/src/models.js +112 -0
- package/dist/ts-lsp-client-dist/src/models.js.map +1 -0
- package/dist/types.d.ts +1 -1
- package/dist/typescript-driver.d.ts +1 -1
- package/package.json +3 -2
@@ -0,0 +1,949 @@
|
|
1
|
+
export type integer = number;
|
2
|
+
export type uinteger = number;
|
3
|
+
export type decimal = number;
|
4
|
+
type ProgressToken = integer | string;
|
5
|
+
type DocumentUri = string;
|
6
|
+
type URI = string;
|
7
|
+
export type TraceValue = 'off' | 'messages' | 'verbose';
|
8
|
+
export type LSPObject = {
|
9
|
+
[key: string]: LSPAny;
|
10
|
+
};
|
11
|
+
export type LSPArray = LSPAny[];
|
12
|
+
export type LSPAny = LSPObject | LSPArray | string | integer | uinteger | decimal | boolean | null;
|
13
|
+
interface Command {
|
14
|
+
title: string;
|
15
|
+
command: string;
|
16
|
+
arguments?: LSPAny[];
|
17
|
+
}
|
18
|
+
export type ChangeAnnotationIdentifier = string;
|
19
|
+
export interface ResponseError {
|
20
|
+
code: integer;
|
21
|
+
message: string;
|
22
|
+
data?: string | number | boolean | [] | Record<string, unknown> | null;
|
23
|
+
}
|
24
|
+
export interface WorkDoneProgressParams {
|
25
|
+
workDoneToken?: ProgressToken;
|
26
|
+
}
|
27
|
+
export interface InitializeParams extends WorkDoneProgressParams {
|
28
|
+
processId: integer | null;
|
29
|
+
clientInfo?: {
|
30
|
+
name: string;
|
31
|
+
version?: string;
|
32
|
+
};
|
33
|
+
locale?: string;
|
34
|
+
rootPath?: string | null;
|
35
|
+
rootUri: DocumentUri | null;
|
36
|
+
initializationOptions?: any;
|
37
|
+
capabilities: ClientCapabilities;
|
38
|
+
trace?: TraceValue;
|
39
|
+
workspaceFolders?: WorkspaceFolder[] | null;
|
40
|
+
}
|
41
|
+
export interface ClientCapabilities {
|
42
|
+
workspace?: {
|
43
|
+
applyEdit?: boolean;
|
44
|
+
workspaceEdit?: WorkspaceEditClientCapabilities;
|
45
|
+
didChangeConfiguration?: DidChangeConfigurationClientCapabilities;
|
46
|
+
didChangeWatchedFiles?: DidChangeWatchedFilesClientCapabilities;
|
47
|
+
symbol?: WorkspaceSymbolClientCapabilities;
|
48
|
+
executeCommand?: ExecuteCommandClientCapabilities;
|
49
|
+
workspaceFolders?: boolean;
|
50
|
+
configuration?: boolean;
|
51
|
+
semanticTokens?: SemanticTokensWorkspaceClientCapabilities;
|
52
|
+
codeLens?: CodeLensWorkspaceClientCapabilities;
|
53
|
+
fileOperations?: {
|
54
|
+
dynamicRegistration?: boolean;
|
55
|
+
didCreate?: boolean;
|
56
|
+
willCreate?: boolean;
|
57
|
+
didRename?: boolean;
|
58
|
+
willRename?: boolean;
|
59
|
+
didDelete?: boolean;
|
60
|
+
willDelete?: boolean;
|
61
|
+
};
|
62
|
+
};
|
63
|
+
textDocument?: TextDocumentClientCapabilities;
|
64
|
+
window?: {
|
65
|
+
workDoneProgress?: boolean;
|
66
|
+
showMessage?: ShowMessageRequestClientCapabilities;
|
67
|
+
showDocument?: ShowDocumentClientCapabilities;
|
68
|
+
};
|
69
|
+
general?: {
|
70
|
+
staleRequestSupport?: {
|
71
|
+
cancel: boolean;
|
72
|
+
retryOnContentModified: string[];
|
73
|
+
};
|
74
|
+
regularExpressions?: RegularExpressionsClientCapabilities;
|
75
|
+
markdown?: MarkdownClientCapabilities;
|
76
|
+
positionEncodings?: PositionEncodingKind[];
|
77
|
+
};
|
78
|
+
experimental?: any;
|
79
|
+
}
|
80
|
+
export interface WorkspaceFolder {
|
81
|
+
uri: DocumentUri;
|
82
|
+
name: string;
|
83
|
+
}
|
84
|
+
export interface ApplyWorkspaceEditParams {
|
85
|
+
label?: string;
|
86
|
+
edit: WorkspaceEdit;
|
87
|
+
}
|
88
|
+
export interface WorkspaceEdit {
|
89
|
+
changes?: {
|
90
|
+
[uri: string]: TextEdit[];
|
91
|
+
};
|
92
|
+
documentChanges?: (TextDocumentEdit[] | (TextDocumentEdit | CreateFile | RenameFile | DeleteFile)[]);
|
93
|
+
changeAnnotations?: {
|
94
|
+
[id: string]: ChangeAnnotation;
|
95
|
+
};
|
96
|
+
}
|
97
|
+
interface TextEdit {
|
98
|
+
range: Range;
|
99
|
+
newText: string;
|
100
|
+
}
|
101
|
+
export interface Range {
|
102
|
+
start: Position;
|
103
|
+
end: Position;
|
104
|
+
}
|
105
|
+
export interface Position {
|
106
|
+
line: uinteger;
|
107
|
+
character: uinteger;
|
108
|
+
}
|
109
|
+
export interface TextDocumentEdit {
|
110
|
+
textDocument: OptionalVersionedTextDocumentIdentifier;
|
111
|
+
edits: (TextEdit | AnnotatedTextEdit)[];
|
112
|
+
}
|
113
|
+
export type TextDocumentContentChangeEvent = {
|
114
|
+
range: Range;
|
115
|
+
rangeLength?: uinteger;
|
116
|
+
text: string;
|
117
|
+
} | {
|
118
|
+
text: string;
|
119
|
+
};
|
120
|
+
interface TextDocumentIdentifier {
|
121
|
+
uri: DocumentUri;
|
122
|
+
}
|
123
|
+
interface VersionedTextDocumentIdentifier extends TextDocumentIdentifier {
|
124
|
+
version: integer;
|
125
|
+
}
|
126
|
+
interface OptionalVersionedTextDocumentIdentifier extends TextDocumentIdentifier {
|
127
|
+
version: integer | null;
|
128
|
+
}
|
129
|
+
export interface AnnotatedTextEdit extends TextEdit {
|
130
|
+
annotationId: ChangeAnnotationIdentifier;
|
131
|
+
}
|
132
|
+
export interface CreateFile {
|
133
|
+
kind: 'create';
|
134
|
+
uri: DocumentUri;
|
135
|
+
options?: CreateFileOptions;
|
136
|
+
annotationId?: ChangeAnnotationIdentifier;
|
137
|
+
}
|
138
|
+
export interface CreateFileOptions {
|
139
|
+
overwrite?: boolean;
|
140
|
+
ignoreIfExists?: boolean;
|
141
|
+
}
|
142
|
+
export interface RenameFile {
|
143
|
+
kind: 'rename';
|
144
|
+
oldUri: DocumentUri;
|
145
|
+
newUri: DocumentUri;
|
146
|
+
options?: RenameFileOptions;
|
147
|
+
annotationId?: ChangeAnnotationIdentifier;
|
148
|
+
}
|
149
|
+
export interface RenameFileOptions {
|
150
|
+
overwrite?: boolean;
|
151
|
+
ignoreIfExists?: boolean;
|
152
|
+
}
|
153
|
+
export interface DeleteFile {
|
154
|
+
kind: 'delete';
|
155
|
+
uri: DocumentUri;
|
156
|
+
options?: DeleteFileOptions;
|
157
|
+
annotationId?: ChangeAnnotationIdentifier;
|
158
|
+
}
|
159
|
+
export interface DeleteFileOptions {
|
160
|
+
recursive?: boolean;
|
161
|
+
ignoreIfNotExists?: boolean;
|
162
|
+
}
|
163
|
+
export interface ChangeAnnotation {
|
164
|
+
label: string;
|
165
|
+
needsConfirmation?: boolean;
|
166
|
+
description?: string;
|
167
|
+
}
|
168
|
+
export interface WorkspaceEditClientCapabilities {
|
169
|
+
documentChanges?: boolean;
|
170
|
+
resourceOperations?: ResourceOperationKind[];
|
171
|
+
failureHandling?: FailureHandlingKind;
|
172
|
+
normalizesLineEndings?: boolean;
|
173
|
+
changeAnnotationSupport?: {
|
174
|
+
groupsOnLabel?: boolean;
|
175
|
+
};
|
176
|
+
}
|
177
|
+
export type ResourceOperationKind = 'create' | 'rename' | 'delete';
|
178
|
+
export type FailureHandlingKind = 'abort' | 'transactional' | 'undo' | 'textOnlyTransactional';
|
179
|
+
export interface DidChangeConfigurationClientCapabilities {
|
180
|
+
dynamicRegistration?: boolean;
|
181
|
+
}
|
182
|
+
export interface DidChangeWatchedFilesClientCapabilities {
|
183
|
+
dynamicRegistration?: boolean;
|
184
|
+
}
|
185
|
+
interface WorkspaceSymbolClientCapabilities {
|
186
|
+
dynamicRegistration?: boolean;
|
187
|
+
symbolKind?: {
|
188
|
+
valueSet?: SymbolKind[];
|
189
|
+
};
|
190
|
+
tagSupport?: {
|
191
|
+
valueSet: SymbolTag[];
|
192
|
+
};
|
193
|
+
}
|
194
|
+
export declare enum SymbolKind {
|
195
|
+
File = 1,
|
196
|
+
Module = 2,
|
197
|
+
Namespace = 3,
|
198
|
+
Package = 4,
|
199
|
+
Class = 5,
|
200
|
+
Method = 6,
|
201
|
+
Property = 7,
|
202
|
+
Field = 8,
|
203
|
+
Constructor = 9,
|
204
|
+
Enum = 10,
|
205
|
+
Interface = 11,
|
206
|
+
Function = 12,
|
207
|
+
Variable = 13,
|
208
|
+
Constant = 14,
|
209
|
+
String = 15,
|
210
|
+
Number = 16,
|
211
|
+
Boolean = 17,
|
212
|
+
Array = 18,
|
213
|
+
Object = 19,
|
214
|
+
Key = 20,
|
215
|
+
Null = 21,
|
216
|
+
EnumMember = 22,
|
217
|
+
Struct = 23,
|
218
|
+
Event = 24,
|
219
|
+
Operator = 25,
|
220
|
+
TypeParameter = 26
|
221
|
+
}
|
222
|
+
export type SymbolTag = 1;
|
223
|
+
export interface ExecuteCommandClientCapabilities {
|
224
|
+
dynamicRegistration?: boolean;
|
225
|
+
}
|
226
|
+
export interface SemanticTokensWorkspaceClientCapabilities {
|
227
|
+
refreshSupport?: boolean;
|
228
|
+
}
|
229
|
+
export interface CodeLensWorkspaceClientCapabilities {
|
230
|
+
refreshSupport?: boolean;
|
231
|
+
}
|
232
|
+
export interface TextDocumentClientCapabilities {
|
233
|
+
synchronization?: TextDocumentSyncClientCapabilities;
|
234
|
+
completion?: CompletionClientCapabilities;
|
235
|
+
hover?: HoverClientCapabilities;
|
236
|
+
signatureHelp?: SignatureHelpClientCapabilities;
|
237
|
+
declaration?: DeclarationClientCapabilities;
|
238
|
+
definition?: DefinitionClientCapabilities;
|
239
|
+
typeDefinition?: TypeDefinitionClientCapabilities;
|
240
|
+
implementation?: ImplementationClientCapabilities;
|
241
|
+
references?: ReferenceClientCapabilities;
|
242
|
+
documentHighlight?: DocumentHighlightClientCapabilities;
|
243
|
+
documentSymbol?: DocumentSymbolClientCapabilities;
|
244
|
+
codeAction?: CodeActionClientCapabilities;
|
245
|
+
codeLens?: CodeLensClientCapabilities;
|
246
|
+
documentLink?: DocumentLinkClientCapabilities;
|
247
|
+
colorProvider?: DocumentColorClientCapabilities;
|
248
|
+
formatting?: DocumentFormattingClientCapabilities;
|
249
|
+
rangeFormatting?: DocumentRangeFormattingClientCapabilities;
|
250
|
+
onTypeFormatting?: DocumentOnTypeFormattingClientCapabilities;
|
251
|
+
rename?: RenameClientCapabilities;
|
252
|
+
publishDiagnostics?: PublishDiagnosticsClientCapabilities;
|
253
|
+
foldingRange?: FoldingRangeClientCapabilities;
|
254
|
+
selectionRange?: SelectionRangeClientCapabilities;
|
255
|
+
linkedEditingRange?: LinkedEditingRangeClientCapabilities;
|
256
|
+
callHierarchy?: CallHierarchyClientCapabilities;
|
257
|
+
semanticTokens?: SemanticTokensClientCapabilities;
|
258
|
+
moniker?: MonikerClientCapabilities;
|
259
|
+
}
|
260
|
+
export interface TextDocumentSyncClientCapabilities {
|
261
|
+
dynamicRegistration?: boolean;
|
262
|
+
willSave?: boolean;
|
263
|
+
willSaveWaitUntil?: boolean;
|
264
|
+
didSave?: boolean;
|
265
|
+
}
|
266
|
+
export interface CompletionClientCapabilities {
|
267
|
+
dynamicRegistration?: boolean;
|
268
|
+
completionItem?: {
|
269
|
+
snippetSupport?: boolean;
|
270
|
+
commitCharactersSupport?: boolean;
|
271
|
+
documentationFormat?: MarkupKind[];
|
272
|
+
deprecatedSupport?: boolean;
|
273
|
+
preselectSupport?: boolean;
|
274
|
+
tagSupport?: {
|
275
|
+
valueSet: CompletionItemTag[];
|
276
|
+
};
|
277
|
+
insertReplaceSupport?: boolean;
|
278
|
+
resolveSupport?: {
|
279
|
+
properties: string[];
|
280
|
+
};
|
281
|
+
insertTextModeSupport?: {
|
282
|
+
valueSet: InsertTextMode[];
|
283
|
+
};
|
284
|
+
labelDetailsSupport?: boolean;
|
285
|
+
};
|
286
|
+
completionItemKind?: {
|
287
|
+
valueSet?: CompletionItemKind[];
|
288
|
+
};
|
289
|
+
contextSupport?: boolean;
|
290
|
+
insertTextMode?: InsertTextMode;
|
291
|
+
}
|
292
|
+
export type MarkupKind = 'plaintext' | 'markdown';
|
293
|
+
export type CompletionItemTag = 1;
|
294
|
+
export type InsertTextMode = 1 | 2;
|
295
|
+
export declare enum CompletionItemKind {
|
296
|
+
Text = 1,
|
297
|
+
Method = 2,
|
298
|
+
Function = 3,
|
299
|
+
Constructor = 4,
|
300
|
+
Field = 5,
|
301
|
+
Variable = 6,
|
302
|
+
Class = 7,
|
303
|
+
Interface = 8,
|
304
|
+
Module = 9,
|
305
|
+
Property = 10,
|
306
|
+
Unit = 11,
|
307
|
+
Value = 12,
|
308
|
+
Enum = 13,
|
309
|
+
Keyword = 14,
|
310
|
+
Snippet = 15,
|
311
|
+
Color = 16,
|
312
|
+
File = 17,
|
313
|
+
Reference = 18,
|
314
|
+
Folder = 19,
|
315
|
+
EnumMember = 20,
|
316
|
+
Constant = 21,
|
317
|
+
Struct = 22,
|
318
|
+
Event = 23,
|
319
|
+
Operator = 24,
|
320
|
+
TypeParameter = 25
|
321
|
+
}
|
322
|
+
export interface HoverClientCapabilities {
|
323
|
+
dynamicRegistration?: boolean;
|
324
|
+
contentFormat?: MarkupKind[];
|
325
|
+
}
|
326
|
+
export interface SignatureHelpClientCapabilities {
|
327
|
+
dynamicRegistration?: boolean;
|
328
|
+
signatureInformation?: {
|
329
|
+
documentationFormat?: MarkupKind[];
|
330
|
+
parameterInformation?: {
|
331
|
+
labelOffsetSupport?: boolean;
|
332
|
+
};
|
333
|
+
activeParameterSupport?: boolean;
|
334
|
+
};
|
335
|
+
contextSupport?: boolean;
|
336
|
+
}
|
337
|
+
export interface DeclarationClientCapabilities {
|
338
|
+
dynamicRegistration?: boolean;
|
339
|
+
linkSupport?: boolean;
|
340
|
+
}
|
341
|
+
export interface DefinitionClientCapabilities {
|
342
|
+
dynamicRegistration?: boolean;
|
343
|
+
linkSupport?: boolean;
|
344
|
+
}
|
345
|
+
export interface TypeDefinitionClientCapabilities {
|
346
|
+
dynamicRegistration?: boolean;
|
347
|
+
linkSupport?: boolean;
|
348
|
+
}
|
349
|
+
export interface ImplementationClientCapabilities {
|
350
|
+
dynamicRegistration?: boolean;
|
351
|
+
linkSupport?: boolean;
|
352
|
+
}
|
353
|
+
export interface ReferenceClientCapabilities {
|
354
|
+
dynamicRegistration?: boolean;
|
355
|
+
}
|
356
|
+
export interface DocumentHighlightClientCapabilities {
|
357
|
+
dynamicRegistration?: boolean;
|
358
|
+
}
|
359
|
+
export interface DocumentSymbolClientCapabilities {
|
360
|
+
dynamicRegistration?: boolean;
|
361
|
+
symbolKind?: {
|
362
|
+
valueSet?: SymbolKind[];
|
363
|
+
};
|
364
|
+
hierarchicalDocumentSymbolSupport?: boolean;
|
365
|
+
tagSupport?: {
|
366
|
+
valueSet: SymbolTag[];
|
367
|
+
};
|
368
|
+
labelSupport?: boolean;
|
369
|
+
}
|
370
|
+
export interface CodeActionClientCapabilities {
|
371
|
+
dynamicRegistration?: boolean;
|
372
|
+
codeActionLiteralSupport?: {
|
373
|
+
codeActionKind: {
|
374
|
+
valueSet: CodeActionKind[];
|
375
|
+
};
|
376
|
+
};
|
377
|
+
isPreferredSupport?: boolean;
|
378
|
+
disabledSupport?: boolean;
|
379
|
+
dataSupport?: boolean;
|
380
|
+
resolveSupport?: {
|
381
|
+
properties: string[];
|
382
|
+
};
|
383
|
+
honorsChangeAnnotations?: boolean;
|
384
|
+
}
|
385
|
+
export declare enum CodeActionKind {
|
386
|
+
Empty = "",
|
387
|
+
QuickFix = "quickfix",
|
388
|
+
Refactor = "refactor",
|
389
|
+
RefactorExtract = "refactor.extract",
|
390
|
+
RefactorInline = "refactor.inline",
|
391
|
+
RefactorRewrite = "refactor.rewrite",
|
392
|
+
Source = "source",
|
393
|
+
SourceOrganizeImports = "source.organizeImports"
|
394
|
+
}
|
395
|
+
export interface CodeLensClientCapabilities {
|
396
|
+
dynamicRegistration?: boolean;
|
397
|
+
}
|
398
|
+
export interface DocumentLinkClientCapabilities {
|
399
|
+
dynamicRegistration?: boolean;
|
400
|
+
tooltipSupport?: boolean;
|
401
|
+
}
|
402
|
+
export interface DocumentColorClientCapabilities {
|
403
|
+
dynamicRegistration?: boolean;
|
404
|
+
}
|
405
|
+
export interface DocumentFormattingClientCapabilities {
|
406
|
+
dynamicRegistration?: boolean;
|
407
|
+
}
|
408
|
+
export interface DocumentRangeFormattingClientCapabilities {
|
409
|
+
dynamicRegistration?: boolean;
|
410
|
+
}
|
411
|
+
export interface DocumentOnTypeFormattingClientCapabilities {
|
412
|
+
dynamicRegistration?: boolean;
|
413
|
+
}
|
414
|
+
export type PrepareSupportDefaultBehavior = 1;
|
415
|
+
export interface RenameClientCapabilities {
|
416
|
+
dynamicRegistration?: boolean;
|
417
|
+
prepareSupport?: boolean;
|
418
|
+
prepareSupportDefaultBehavior?: PrepareSupportDefaultBehavior;
|
419
|
+
honorsChangeAnnotations?: boolean;
|
420
|
+
}
|
421
|
+
export interface PublishDiagnosticsClientCapabilities {
|
422
|
+
relatedInformation?: boolean;
|
423
|
+
tagSupport?: {
|
424
|
+
valueSet: DiagnosticTag[];
|
425
|
+
};
|
426
|
+
versionSupport?: boolean;
|
427
|
+
codeDescriptionSupport?: boolean;
|
428
|
+
dataSupport?: boolean;
|
429
|
+
}
|
430
|
+
export type DiagnosticTag = 1 | 2;
|
431
|
+
export interface FoldingRangeClientCapabilities {
|
432
|
+
dynamicRegistration?: boolean;
|
433
|
+
rangeLimit?: uinteger;
|
434
|
+
lineFoldingOnly?: boolean;
|
435
|
+
}
|
436
|
+
export interface SelectionRangeClientCapabilities {
|
437
|
+
dynamicRegistration?: boolean;
|
438
|
+
}
|
439
|
+
export interface LinkedEditingRangeClientCapabilities {
|
440
|
+
dynamicRegistration?: boolean;
|
441
|
+
}
|
442
|
+
interface CallHierarchyClientCapabilities {
|
443
|
+
dynamicRegistration?: boolean;
|
444
|
+
}
|
445
|
+
interface SemanticTokensClientCapabilities {
|
446
|
+
dynamicRegistration?: boolean;
|
447
|
+
requests: {
|
448
|
+
range?: boolean | object;
|
449
|
+
full?: boolean | {
|
450
|
+
delta?: boolean;
|
451
|
+
};
|
452
|
+
};
|
453
|
+
tokenTypes: string[];
|
454
|
+
tokenModifiers: string[];
|
455
|
+
formats: TokenFormat[];
|
456
|
+
overlappingTokenSupport?: boolean;
|
457
|
+
multilineTokenSupport?: boolean;
|
458
|
+
}
|
459
|
+
export type TokenFormat = 'relative';
|
460
|
+
interface MonikerClientCapabilities {
|
461
|
+
dynamicRegistration?: boolean;
|
462
|
+
}
|
463
|
+
export interface ShowMessageRequestClientCapabilities {
|
464
|
+
messageActionItem?: {
|
465
|
+
additionalPropertiesSupport?: boolean;
|
466
|
+
};
|
467
|
+
}
|
468
|
+
export interface ShowDocumentClientCapabilities {
|
469
|
+
support: boolean;
|
470
|
+
}
|
471
|
+
export interface RegularExpressionsClientCapabilities {
|
472
|
+
engine: string;
|
473
|
+
version?: string;
|
474
|
+
}
|
475
|
+
export interface MarkdownClientCapabilities {
|
476
|
+
parser: string;
|
477
|
+
version?: string;
|
478
|
+
}
|
479
|
+
export type PositionEncodingKind = string;
|
480
|
+
export interface InitializeResult {
|
481
|
+
capabilities: ServerCapabilities;
|
482
|
+
serverInfo?: {
|
483
|
+
name: string;
|
484
|
+
version?: string;
|
485
|
+
};
|
486
|
+
}
|
487
|
+
interface ServerCapabilities {
|
488
|
+
textDocumentSync?: TextDocumentSyncOptions | TextDocumentSyncKind;
|
489
|
+
completionProvider?: CompletionOptions;
|
490
|
+
hoverProvider?: boolean | HoverOptions;
|
491
|
+
signatureHelpProvider?: SignatureHelpOptions;
|
492
|
+
declarationProvider?: boolean | DeclarationOptions | DeclarationRegistrationOptions;
|
493
|
+
definitionProvider?: boolean | DefinitionOptions;
|
494
|
+
typeDefinitionProvider?: boolean | TypeDefinitionOptions | TypeDefinitionRegistrationOptions;
|
495
|
+
implementationProvider?: boolean | ImplementationOptions | ImplementationRegistrationOptions;
|
496
|
+
referencesProvider?: boolean | ReferenceOptions;
|
497
|
+
documentHighlightProvider?: boolean | DocumentHighlightOptions;
|
498
|
+
documentSymbolProvider?: boolean | DocumentSymbolOptions;
|
499
|
+
codeActionProvider?: boolean | CodeActionOptions;
|
500
|
+
codeLensProvider?: CodeLensOptions;
|
501
|
+
documentLinkProvider?: DocumentLinkOptions;
|
502
|
+
colorProvider?: boolean | DocumentColorOptions | DocumentColorRegistrationOptions;
|
503
|
+
documentFormattingProvider?: boolean | DocumentFormattingOptions;
|
504
|
+
documentRangeFormattingProvider?: boolean | DocumentRangeFormattingOptions;
|
505
|
+
documentOnTypeFormattingProvider?: DocumentOnTypeFormattingOptions;
|
506
|
+
renameProvider?: boolean | RenameOptions;
|
507
|
+
foldingRangeProvider?: boolean | FoldingRangeOptions | FoldingRangeRegistrationOptions;
|
508
|
+
executeCommandProvider?: ExecuteCommandOptions;
|
509
|
+
selectionRangeProvider?: boolean | SelectionRangeOptions | SelectionRangeRegistrationOptions;
|
510
|
+
linkedEditingRangeProvider?: boolean | LinkedEditingRangeOptions | LinkedEditingRangeRegistrationOptions;
|
511
|
+
callHierarchyProvider?: boolean | CallHierarchyOptions | CallHierarchyRegistrationOptions;
|
512
|
+
semanticTokensProvider?: SemanticTokensOptions | SemanticTokensRegistrationOptions;
|
513
|
+
monikerProvider?: boolean | MonikerOptions | MonikerRegistrationOptions;
|
514
|
+
workspaceSymbolProvider?: boolean | WorkspaceSymbolOptions;
|
515
|
+
workspace?: {
|
516
|
+
workspaceFolders?: WorkspaceFoldersServerCapabilities;
|
517
|
+
fileOperations?: {
|
518
|
+
didCreate?: FileOperationRegistrationOptions;
|
519
|
+
willCreate?: FileOperationRegistrationOptions;
|
520
|
+
didRename?: FileOperationRegistrationOptions;
|
521
|
+
willRename?: FileOperationRegistrationOptions;
|
522
|
+
didDelete?: FileOperationRegistrationOptions;
|
523
|
+
willDelete?: FileOperationRegistrationOptions;
|
524
|
+
};
|
525
|
+
};
|
526
|
+
experimental?: any;
|
527
|
+
}
|
528
|
+
export interface TextDocumentSyncOptions {
|
529
|
+
openClose?: boolean;
|
530
|
+
change?: TextDocumentSyncKind;
|
531
|
+
}
|
532
|
+
export declare enum TextDocumentSyncKind {
|
533
|
+
None = 0,
|
534
|
+
Full = 1,
|
535
|
+
Incremental = 2
|
536
|
+
}
|
537
|
+
export interface CompletionOptions extends WorkDoneProgressOptions {
|
538
|
+
triggerCharacters?: string[];
|
539
|
+
allCommitCharacters?: string[];
|
540
|
+
resolveProvider?: boolean;
|
541
|
+
completionItem?: {
|
542
|
+
labelDetailsSupport?: boolean;
|
543
|
+
};
|
544
|
+
}
|
545
|
+
export interface WorkDoneProgressOptions {
|
546
|
+
workDoneProgress?: boolean;
|
547
|
+
}
|
548
|
+
export type HoverOptions = WorkDoneProgressOptions;
|
549
|
+
export interface SignatureHelpOptions extends WorkDoneProgressOptions {
|
550
|
+
triggerCharacters?: string[];
|
551
|
+
retriggerCharacters?: string[];
|
552
|
+
}
|
553
|
+
export type DeclarationOptions = WorkDoneProgressOptions;
|
554
|
+
export interface DeclarationRegistrationOptions extends DeclarationOptions, TextDocumentRegistrationOptions, StaticRegistrationOptions {
|
555
|
+
}
|
556
|
+
export interface TextDocumentRegistrationOptions {
|
557
|
+
documentSelector: DocumentSelector | null;
|
558
|
+
}
|
559
|
+
export type DocumentSelector = DocumentFilter[];
|
560
|
+
export interface DocumentFilter {
|
561
|
+
language?: string;
|
562
|
+
scheme?: string;
|
563
|
+
pattern?: string;
|
564
|
+
}
|
565
|
+
export interface StaticRegistrationOptions {
|
566
|
+
id?: string;
|
567
|
+
}
|
568
|
+
export interface TypeDefinitionRegistrationOptions extends TextDocumentRegistrationOptions, TypeDefinitionOptions, StaticRegistrationOptions {
|
569
|
+
}
|
570
|
+
export type DefinitionOptions = WorkDoneProgressOptions;
|
571
|
+
export type TypeDefinitionOptions = WorkDoneProgressOptions;
|
572
|
+
export type ImplementationOptions = WorkDoneProgressOptions;
|
573
|
+
export interface ImplementationRegistrationOptions extends TextDocumentRegistrationOptions, ImplementationOptions, StaticRegistrationOptions {
|
574
|
+
}
|
575
|
+
export type ReferenceOptions = WorkDoneProgressOptions;
|
576
|
+
export type DocumentHighlightOptions = WorkDoneProgressOptions;
|
577
|
+
export interface DocumentSymbolOptions extends WorkDoneProgressOptions {
|
578
|
+
label?: string;
|
579
|
+
}
|
580
|
+
export interface CodeActionOptions extends WorkDoneProgressOptions {
|
581
|
+
codeActionKinds?: CodeActionKind[];
|
582
|
+
resolveProvider?: boolean;
|
583
|
+
}
|
584
|
+
export interface CodeLensOptions extends WorkDoneProgressOptions {
|
585
|
+
resolveProvider?: boolean;
|
586
|
+
}
|
587
|
+
export interface DocumentLinkOptions extends WorkDoneProgressOptions {
|
588
|
+
resolveProvider?: boolean;
|
589
|
+
}
|
590
|
+
export type DocumentColorOptions = WorkDoneProgressOptions;
|
591
|
+
export interface DocumentColorRegistrationOptions extends TextDocumentRegistrationOptions, StaticRegistrationOptions, DocumentColorOptions {
|
592
|
+
}
|
593
|
+
export type DocumentFormattingOptions = WorkDoneProgressOptions;
|
594
|
+
export type DocumentRangeFormattingOptions = WorkDoneProgressOptions;
|
595
|
+
export interface DocumentOnTypeFormattingOptions {
|
596
|
+
firstTriggerCharacter: string;
|
597
|
+
moreTriggerCharacter?: string[];
|
598
|
+
}
|
599
|
+
export interface RenameOptions extends WorkDoneProgressOptions {
|
600
|
+
prepareProvider?: boolean;
|
601
|
+
}
|
602
|
+
export type FoldingRangeOptions = WorkDoneProgressOptions;
|
603
|
+
export interface FoldingRangeRegistrationOptions extends TextDocumentRegistrationOptions, FoldingRangeOptions, StaticRegistrationOptions {
|
604
|
+
}
|
605
|
+
export interface ExecuteCommandOptions extends WorkDoneProgressOptions {
|
606
|
+
commands: string[];
|
607
|
+
}
|
608
|
+
export type SelectionRangeOptions = WorkDoneProgressOptions;
|
609
|
+
export interface SelectionRangeRegistrationOptions extends SelectionRangeOptions, TextDocumentRegistrationOptions, StaticRegistrationOptions {
|
610
|
+
}
|
611
|
+
export type LinkedEditingRangeOptions = WorkDoneProgressOptions;
|
612
|
+
export interface LinkedEditingRangeRegistrationOptions extends TextDocumentRegistrationOptions, LinkedEditingRangeOptions, StaticRegistrationOptions {
|
613
|
+
}
|
614
|
+
export type CallHierarchyOptions = WorkDoneProgressOptions;
|
615
|
+
export interface CallHierarchyRegistrationOptions extends TextDocumentRegistrationOptions, CallHierarchyOptions, StaticRegistrationOptions {
|
616
|
+
}
|
617
|
+
export interface SemanticTokensOptions extends WorkDoneProgressOptions {
|
618
|
+
legend: SemanticTokensLegend;
|
619
|
+
range?: boolean | object;
|
620
|
+
full?: boolean | {
|
621
|
+
delta?: boolean;
|
622
|
+
};
|
623
|
+
}
|
624
|
+
export interface SemanticTokensLegend {
|
625
|
+
tokenTypes: string[];
|
626
|
+
tokenModifiers: string[];
|
627
|
+
}
|
628
|
+
export interface SemanticTokensRegistrationOptions extends TextDocumentRegistrationOptions, SemanticTokensOptions, StaticRegistrationOptions {
|
629
|
+
}
|
630
|
+
export type MonikerOptions = WorkDoneProgressOptions;
|
631
|
+
export interface MonikerRegistrationOptions extends TextDocumentRegistrationOptions, MonikerOptions {
|
632
|
+
}
|
633
|
+
export type WorkspaceSymbolOptions = WorkDoneProgressOptions;
|
634
|
+
export interface WorkspaceFoldersServerCapabilities {
|
635
|
+
supported?: boolean;
|
636
|
+
changeNotifications?: string | boolean;
|
637
|
+
}
|
638
|
+
interface FileOperationRegistrationOptions {
|
639
|
+
filters: FileOperationFilter[];
|
640
|
+
}
|
641
|
+
export interface FileOperationFilter {
|
642
|
+
scheme?: string;
|
643
|
+
pattern: FileOperationPattern;
|
644
|
+
}
|
645
|
+
interface FileOperationPattern {
|
646
|
+
glob: string;
|
647
|
+
matches?: FileOperationPatternKind;
|
648
|
+
options?: FileOperationPatternOptions;
|
649
|
+
}
|
650
|
+
export type FileOperationPatternKind = 'file' | 'folder';
|
651
|
+
export interface FileOperationPatternOptions {
|
652
|
+
ignoreCase?: boolean;
|
653
|
+
}
|
654
|
+
export interface ShutdownResult {
|
655
|
+
result: null;
|
656
|
+
error?: ResponseError;
|
657
|
+
}
|
658
|
+
export interface DidOpenTextDocumentParams {
|
659
|
+
textDocument: TextDocumentItem;
|
660
|
+
}
|
661
|
+
export interface TextDocumentItem {
|
662
|
+
uri: DocumentUri;
|
663
|
+
languageId: string;
|
664
|
+
version: integer;
|
665
|
+
text: string;
|
666
|
+
}
|
667
|
+
export interface DocumentSymbolParams extends WorkDoneProgressParams, PartialResultParams {
|
668
|
+
textDocument: TextDocumentIdentifier;
|
669
|
+
}
|
670
|
+
export interface PartialResultParams {
|
671
|
+
partialResultToken?: ProgressToken;
|
672
|
+
}
|
673
|
+
export interface DocumentSymbol {
|
674
|
+
name: string;
|
675
|
+
detail?: string;
|
676
|
+
kind: SymbolKind;
|
677
|
+
tags?: SymbolTag[];
|
678
|
+
deprecated?: boolean;
|
679
|
+
range: Range;
|
680
|
+
selectionRange: Range;
|
681
|
+
children?: DocumentSymbol[];
|
682
|
+
}
|
683
|
+
export interface SymbolInformation {
|
684
|
+
name: string;
|
685
|
+
kind: SymbolKind;
|
686
|
+
tags?: SymbolTag[];
|
687
|
+
deprecated?: boolean;
|
688
|
+
location: Location;
|
689
|
+
containerName?: string;
|
690
|
+
}
|
691
|
+
export interface Location {
|
692
|
+
uri: DocumentUri;
|
693
|
+
range: Range;
|
694
|
+
}
|
695
|
+
export interface ReferenceParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
|
696
|
+
context: ReferenceContext;
|
697
|
+
}
|
698
|
+
interface TextDocumentPositionParams {
|
699
|
+
textDocument: TextDocumentIdentifier;
|
700
|
+
position: Position;
|
701
|
+
}
|
702
|
+
export interface ReferenceContext {
|
703
|
+
includeDeclaration: boolean;
|
704
|
+
}
|
705
|
+
export interface DidChangeTextDocumentParams {
|
706
|
+
textDocument: VersionedTextDocumentIdentifier;
|
707
|
+
contentChanges: TextDocumentContentChangeEvent[];
|
708
|
+
}
|
709
|
+
export interface DidCloseTextDocumentParams {
|
710
|
+
textDocument: TextDocumentIdentifier;
|
711
|
+
}
|
712
|
+
export interface DefinitionParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
|
713
|
+
}
|
714
|
+
export interface LocationLink {
|
715
|
+
originSelectionRange?: Range;
|
716
|
+
targetUri: DocumentUri;
|
717
|
+
targetRange: Range;
|
718
|
+
targetSelectionRange: Range;
|
719
|
+
}
|
720
|
+
export interface TypeDefinitionParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
|
721
|
+
}
|
722
|
+
export interface SignatureHelpParams extends TextDocumentPositionParams, WorkDoneProgressParams {
|
723
|
+
context?: SignatureHelpContext;
|
724
|
+
}
|
725
|
+
export interface SignatureHelpContext {
|
726
|
+
triggerKind: SignatureHelpTriggerKind;
|
727
|
+
triggerCharacter?: string;
|
728
|
+
isRetrigger: boolean;
|
729
|
+
activeSignatureHelp?: SignatureHelp;
|
730
|
+
}
|
731
|
+
export declare enum SignatureHelpTriggerKind {
|
732
|
+
Invoked = 1,
|
733
|
+
TriggerCharacter = 2,
|
734
|
+
ContentChange = 3
|
735
|
+
}
|
736
|
+
export interface SignatureHelp {
|
737
|
+
signatures: SignatureInformation[];
|
738
|
+
activeSignature?: uinteger;
|
739
|
+
activeParameter?: uinteger;
|
740
|
+
}
|
741
|
+
export interface SignatureInformation {
|
742
|
+
label: string;
|
743
|
+
documentation?: string | MarkupContent;
|
744
|
+
parameters?: ParameterInformation[];
|
745
|
+
activeParameter?: uinteger;
|
746
|
+
}
|
747
|
+
export interface MarkupContent {
|
748
|
+
kind: MarkupKind;
|
749
|
+
value: string;
|
750
|
+
}
|
751
|
+
export interface ParameterInformation {
|
752
|
+
label: string | [uinteger, uinteger];
|
753
|
+
documentation?: string | MarkupContent;
|
754
|
+
}
|
755
|
+
export interface HoverParams extends TextDocumentPositionParams, WorkDoneProgressParams {
|
756
|
+
}
|
757
|
+
type MarkedString = string | {
|
758
|
+
language: string;
|
759
|
+
value: string;
|
760
|
+
};
|
761
|
+
export interface MarkupContent {
|
762
|
+
kind: MarkupKind;
|
763
|
+
value: string;
|
764
|
+
}
|
765
|
+
export interface Hover {
|
766
|
+
contents: MarkedString | MarkedString[] | MarkupContent;
|
767
|
+
range?: Range;
|
768
|
+
}
|
769
|
+
export interface DeclarationParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
|
770
|
+
}
|
771
|
+
export declare enum CompletionTriggerKind {
|
772
|
+
Invoked = 1,
|
773
|
+
TriggerCharacter = 2,
|
774
|
+
TriggerForIncompleteCompletions = 3
|
775
|
+
}
|
776
|
+
export interface CompletionContext {
|
777
|
+
triggerKind: CompletionTriggerKind;
|
778
|
+
triggerCharacter?: string;
|
779
|
+
}
|
780
|
+
export interface CompletionParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
|
781
|
+
context?: CompletionContext;
|
782
|
+
}
|
783
|
+
export declare enum InsertTextFormat {
|
784
|
+
PlainText = 1,
|
785
|
+
Snippet = 2
|
786
|
+
}
|
787
|
+
export interface InsertReplaceEdit {
|
788
|
+
newText: string;
|
789
|
+
insert: Range;
|
790
|
+
replace: Range;
|
791
|
+
}
|
792
|
+
export interface CompletionItemLabelDetails {
|
793
|
+
detail?: string;
|
794
|
+
description?: string;
|
795
|
+
}
|
796
|
+
export interface CompletionItem {
|
797
|
+
label: string;
|
798
|
+
labelDetails?: CompletionItemLabelDetails;
|
799
|
+
kind?: CompletionItemKind;
|
800
|
+
tags?: CompletionItemTag[];
|
801
|
+
detail?: string;
|
802
|
+
documentation?: string | MarkupContent;
|
803
|
+
deprecated?: boolean;
|
804
|
+
preselect?: boolean;
|
805
|
+
sortText?: string;
|
806
|
+
filterText?: string;
|
807
|
+
insertText?: string;
|
808
|
+
insertTextFormat?: InsertTextFormat;
|
809
|
+
insertTextMode?: InsertTextMode;
|
810
|
+
textEdit?: TextEdit | InsertReplaceEdit;
|
811
|
+
textEditText?: string;
|
812
|
+
additionalTextEdits?: TextEdit[];
|
813
|
+
commitCharacters?: string[];
|
814
|
+
command?: Command;
|
815
|
+
data?: LSPAny;
|
816
|
+
}
|
817
|
+
export interface CompletionList {
|
818
|
+
isIncomplete: boolean;
|
819
|
+
itemDefaults?: {
|
820
|
+
commitCharacters?: string[];
|
821
|
+
editRange?: Range | {
|
822
|
+
insert: Range;
|
823
|
+
replace: Range;
|
824
|
+
};
|
825
|
+
insertTextFormat?: InsertTextFormat;
|
826
|
+
insertTextMode?: InsertTextMode;
|
827
|
+
data?: LSPAny;
|
828
|
+
};
|
829
|
+
items: CompletionItem[];
|
830
|
+
}
|
831
|
+
export interface InlayHintParams extends WorkDoneProgressParams {
|
832
|
+
textDocument: TextDocumentIdentifier;
|
833
|
+
range: Range;
|
834
|
+
}
|
835
|
+
export declare enum InlayHintKind {
|
836
|
+
Type = 1,
|
837
|
+
Parameter = 2
|
838
|
+
}
|
839
|
+
export interface InlayHintLabelPart {
|
840
|
+
value: string;
|
841
|
+
tooltip?: string | MarkupContent;
|
842
|
+
location?: Location;
|
843
|
+
command?: Command;
|
844
|
+
}
|
845
|
+
export interface InlayHint {
|
846
|
+
position: Position;
|
847
|
+
label: string | InlayHintLabelPart[];
|
848
|
+
kind?: InlayHintKind;
|
849
|
+
textEdits?: TextEdit[];
|
850
|
+
tooltip?: string | MarkupContent;
|
851
|
+
paddingLeft?: boolean;
|
852
|
+
paddingRight?: boolean;
|
853
|
+
data?: LSPAny;
|
854
|
+
}
|
855
|
+
export interface TypeHierarchyPrepareParams extends TextDocumentPositionParams, WorkDoneProgressParams {
|
856
|
+
}
|
857
|
+
export interface TypeHierarchyItem {
|
858
|
+
name: string;
|
859
|
+
kind: SymbolKind;
|
860
|
+
tags?: SymbolTag[];
|
861
|
+
detail?: string;
|
862
|
+
uri: DocumentUri;
|
863
|
+
range: Range;
|
864
|
+
selectionRange: Range;
|
865
|
+
data?: LSPAny;
|
866
|
+
}
|
867
|
+
export interface Diagnostic {
|
868
|
+
range: Range;
|
869
|
+
severity?: DiagnosticSeverity;
|
870
|
+
code?: integer | string;
|
871
|
+
codeDescription?: CodeDescription;
|
872
|
+
source?: string;
|
873
|
+
message: string;
|
874
|
+
tags?: DiagnosticTag[];
|
875
|
+
relatedInformation?: DiagnosticRelatedInformation[];
|
876
|
+
data?: LSPAny;
|
877
|
+
}
|
878
|
+
export declare enum DiagnosticSeverity {
|
879
|
+
Error = 1,
|
880
|
+
Warning = 2,
|
881
|
+
Information = 3,
|
882
|
+
Hint = 4
|
883
|
+
}
|
884
|
+
export interface DiagnosticRelatedInformation {
|
885
|
+
location: Location;
|
886
|
+
message: string;
|
887
|
+
}
|
888
|
+
export interface CodeDescription {
|
889
|
+
href: URI;
|
890
|
+
}
|
891
|
+
export interface DocumentDiagnosticParams extends WorkDoneProgressParams, PartialResultParams {
|
892
|
+
textDocument: TextDocumentIdentifier;
|
893
|
+
identifier?: string;
|
894
|
+
previousResultId?: string;
|
895
|
+
}
|
896
|
+
export declare enum DocumentDiagnosticReportKind {
|
897
|
+
Full = "full",
|
898
|
+
Unchanged = "unchanged"
|
899
|
+
}
|
900
|
+
export interface FullDocumentDiagnosticReport {
|
901
|
+
kind: DocumentDiagnosticReportKind.Full;
|
902
|
+
resultId?: string;
|
903
|
+
items: Diagnostic[];
|
904
|
+
}
|
905
|
+
export interface UnchangedDocumentDiagnosticReport {
|
906
|
+
kind: DocumentDiagnosticReportKind.Unchanged;
|
907
|
+
resultId: string;
|
908
|
+
}
|
909
|
+
export type DocumentDiagnosticReport = RelatedFullDocumentDiagnosticReport | RelatedUnchangedDocumentDiagnosticReport;
|
910
|
+
export interface RelatedFullDocumentDiagnosticReport extends FullDocumentDiagnosticReport {
|
911
|
+
relatedDocuments?: FullDocumentDiagnosticReport | UnchangedDocumentDiagnosticReport;
|
912
|
+
}
|
913
|
+
export interface RelatedUnchangedDocumentDiagnosticReport extends UnchangedDocumentDiagnosticReport {
|
914
|
+
relatedDocuments?: FullDocumentDiagnosticReport | UnchangedDocumentDiagnosticReport;
|
915
|
+
}
|
916
|
+
export interface OcamlTypedHolesParams {
|
917
|
+
uri: DocumentUri;
|
918
|
+
}
|
919
|
+
export interface OcamlHoverExtendedParams {
|
920
|
+
textDocument: TextDocumentIdentifier;
|
921
|
+
position: Position;
|
922
|
+
verbosity?: number;
|
923
|
+
}
|
924
|
+
export type OcamlInferIntfParams = DocumentUri;
|
925
|
+
export interface OcamlInferIntfResponse {
|
926
|
+
result: string;
|
927
|
+
}
|
928
|
+
export interface OcamlMerlinCallCompatibleParams {
|
929
|
+
uri: DocumentUri;
|
930
|
+
command: string;
|
931
|
+
args: string[];
|
932
|
+
resultAsSexp: boolean;
|
933
|
+
}
|
934
|
+
export interface OcamlMerlinCallCompatibleResponse {
|
935
|
+
resultAsSexp: boolean;
|
936
|
+
result: string;
|
937
|
+
}
|
938
|
+
export interface OcamlTypeEnclosingParams {
|
939
|
+
uri: TextDocumentIdentifier;
|
940
|
+
at: (Position | Range);
|
941
|
+
index: number;
|
942
|
+
verbosity?: number;
|
943
|
+
}
|
944
|
+
export interface OcamlTypeEnclosingResponse {
|
945
|
+
enclosings: Range[];
|
946
|
+
index: number;
|
947
|
+
type: string;
|
948
|
+
}
|
949
|
+
export {};
|