--- /dev/null
+from typing import Container, List, Union, TypeVar, Type, Any, Optional, Tuple\r
+from . import _ValidatorType\r
+\r
+_T = TypeVar('_T')\r
+\r
+def instance_of(type: Union[Tuple[Type[_T], ...], Type[_T]]) -> _ValidatorType[_T]: ...\r
+def provides(interface: Any) -> _ValidatorType[Any]: ...\r
+def optional(validator: Union[_ValidatorType[_T], List[_ValidatorType[_T]]]) -> _ValidatorType[Optional[_T]]: ...\r
+def in_(options: Container[_T]) -> _ValidatorType[_T]: ...\r
+def and_(*validators: _ValidatorType[_T]) -> _ValidatorType[_T]: ...\r