Theia API Documentation v1.65.0
    Preparing search index...
    interface ToolProvider {
        getTool(): ToolRequest;
    }

    Implemented by

    Index

    Methods

    Methods