Make micropython.const accept any constant type

micropython.const now supports any constant type, not just int. This
updates the type checking to reflect this. This also updates the name of
the file so that type checkers can find it.

diff --git a/src/micropython-stubs/micropython.pyi b/src/micropython-stubs/__init__.pyi
similarity index 95%
rename from src/micropython-stubs/micropython.pyi
rename to src/micropython-stubs/__init__.pyi
index 33dd6a9821ecd0dbe297d312f6743480a89aab32..5026b979322a398a523ae4c86feb8b1a27479667 100644 (file)
--- a/src/micropython-stubs/micropython.pyi
+++ b/src/micropython-stubs/__init__.pyi
@@ -12,7 +12,7 @@ from typing import Callable, TypeVar, Any, NoReturn
 
 Fun = TypeVar("Fun", bound=Callable[..., Any])
 
-def const(x: int) -> int:
+def const[T](x: T) -> T:
     "Emulate making a constant"
 
 def native(f: Fun) -> Fun: