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

Client APIs for the Jupyter services REST APIs

import * as User from './user';
import * as UserAPI from './restapi';
export * from './manager';
export { User, UserAPI };