Type Alias AgentRequest

type AgentRequest = {
    id: RequestId;
    method: string;
    params?:
        | WriteTextFileRequest
        | ReadTextFileRequest
        | RequestPermissionRequest
        | CreateTerminalRequest
        | TerminalOutputRequest
        | ReleaseTerminalRequest
        | WaitForTerminalExitRequest
        | KillTerminalRequest
        | ElicitationRequest
        | ExtRequest
        | null;
}