@leanprover/infoview
    Preparing search index...

    Interface RpcReleaseParams

    interface RpcReleaseParams {
        refs: RpcPtr<any>[];
        sessionId: string;
        uri: string;
    }
    Index
    refs: RpcPtr<any>[]
    sessionId: string
    uri: string