Interface LeanPublishDiagnosticsParams

interface LeanPublishDiagnosticsParams {
    diagnostics: LeanDiagnostic[];
    uri: string;
    version?: number;
}

Index

Properties

diagnostics uri version?

Properties

diagnostics

diagnostics: LeanDiagnostic[]

uri

uri: string

`Optional`version

version?: number