diff --git a/third_party/2and3/pyre_extensions.pyi b/third_party/2and3/pyre_extensions.pyi new file mode 100644 index 000000000000..04adc5093f13 --- /dev/null +++ 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]: ...