Add core.pyi to resolve pyre issue when importing from executorch.extension.pybindings.core

Differential Revision: D61044759

Pull Request resolved: #4653

Author: LeeOHzzZ

extension/pybindings/TARGETS

@@ -30,16 +30,18 @@ runtime.genrule(
     srcs = [":pybinding_types"],
     outs = {
         "aten_lib.pyi": ["aten_lib.pyi"],
+        "core.pyi": ["core.pyi"],
         "_portable_lib.pyi": ["_portable_lib.pyi"],
     },
-    cmd = "cp $(location :pybinding_types)/* $OUT/_portable_lib.pyi && cp $(location :pybinding_types)/* $OUT/aten_lib.pyi",
+    cmd = "cp $(location :pybinding_types)/* $OUT/_portable_lib.pyi && cp $(location :pybinding_types)/* $OUT/aten_lib.pyi && cp $(location :pybinding_types)/* $OUT/core.pyi",
     visibility = ["//executorch/extension/pybindings/..."],
 )
 
 executorch_pybindings(
     compiler_flags = ["-std=c++17"],
     cppdeps = PORTABLE_MODULE_DEPS,
     python_module_name = "core",
+    types = ["//executorch/extension/pybindings:pybindings_types_gen[core.pyi]"],
     visibility = ["PUBLIC"],
 )