@leanprover/infoview
    Preparing search index...

    Interface RpcConnectParams

    interface RpcConnectParams {
        uri: string;
    }
    Index
    uri
    uri: string

    Settings
    Member Visibility

    On This Page
    Properties