Adding stubs for pyre_extensions (#3056)

python · Jun 13, 2019 · 1f740a7 · 1f740a7
1 parent 8ffe20f
commit 1f740a7
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/third_party/2and3/pyre_extensions.pyi b/third_party/2and3/pyre_extensions.pyi
@@ -0,0 +1,6 @@
+from typing import List, Optional, Type, TypeVar
+
+_T = TypeVar("_T")
+
+def none_throws(optional: Optional[_T]) -> _T: ...
+def ParameterSpecification(__name: str) -> List[Type]: ...