../micropython.pyi