/* lib/typescript/terminal.d - TypeScript interfaces used by terminal specific libraries. */ /**
 * Stores agent related connection information used for command *agent_data*.
 * ```typescript
 * interface agentData {
 *     device: agents;
 *     user: agents;
 * }
 * ``` */ 