Theia API Documentation v1.66.0
    Preparing search index...
    AGENT_DELEGATION_FUNCTION_ID: "delegateToAgent" = 'delegateToAgent'