@jupyterlab/services/lib/terminal/index.d.ts

Client APIs for the Jupyter services REST APIs

import * as Terminal from './terminal';
import * as TerminalAPI from './restapi';
export * from './manager';
export { Terminal, TerminalAPI };