type predicate

welcome to shbcf.ru