@leanprover/infoview
    Preparing search index...

    Interface RpcError

    interface RpcError {
        code: RpcErrorCode;
        message: string;
    }
    Index
    code message
    code: RpcErrorCode
    message: string

    Settings
    Member Visibility

    On This Page
    Properties