Function getInteractiveDiagnostics

getInteractiveDiagnostics(
    rs: RpcSessionAtPos,
    lineRange?: LineRange,
    options?: ClientRequestOptions,
): Promise<InteractiveDiagnostic[]>
Parameters
- rs: RpcSessionAtPos
- OptionallineRange: LineRange
- Optionaloptions: ClientRequestOptions
Returns Promise<InteractiveDiagnostic[]>
- Defined in lean4-infoview-api/dist/rpcApi.d.ts:111