@leanprover/infoview
    Preparing search index...

    Interface RpcOptions

    interface RpcOptions {
        highlightMatchesProvider?: HighlightMatchesOptions;
        rpcWireFormat?: RpcWireFormat;
    }
    Index
    highlightMatchesProvider? rpcWireFormat?
    highlightMatchesProvider?: HighlightMatchesOptions
    rpcWireFormat?: RpcWireFormat

    Settings
    Member Visibility

    On This Page
    Properties