Function InteractiveDiagnostics_infoToInteractive

InteractiveDiagnostics_infoToInteractive(
    rs: RpcSessionAtPos,
    info: InfoWithCtx,
    options?: ClientRequestOptions,
): Promise<InfoPopup>
Parameters
- rs: RpcSessionAtPos
- info: InfoWithCtx
- Optionaloptions: ClientRequestOptions
Returns Promise<InfoPopup>
- Defined in lean4-infoview-api/dist/rpcApi.d.ts:114