Interface DevTools

interface DevTools {
    manager: {
        userExplorer(userExplorer: HackleUserExplorerBase): void;
        close(): void;
    };
    userExplorer?: HackleUserExplorerBase;
}