@leanprover/infoview
    Preparing search index...

    Interface RpcCallParams

    interface RpcCallParams {
        method: string;
        params: any;
        position: Position;
        sessionId: string;
        textDocument: TextDocumentIdentifier;
    }

    Hierarchy

    Index
    method params position sessionId textDocument
    method: string
    params: any
    position: Position

    The position inside the text document.

    sessionId: string
    textDocument: TextDocumentIdentifier

    The text document.

    Settings
    Member Visibility

    On This Page
    Properties