def load_ipython_extension(ipython: InteractiveShell) -> None: # pyre-fixme[16]: `InteractiveShell` has no attribute `prompts`. ipython.prompts = CustomPrompt(ipython)
def load_ipython_extension(ipython: InteractiveShell) -> None: ipython.prompts = CustomPrompt(ipython)