in typehints/microbit/microbit/__init__.pyi [0:0]
def set_pull(self, value: int = (NO_PULL or PULL_UP or PULL_DOWN)) -> None: