Member predicate PredicateTypeExpr::getPredicateType

Gets the type T in E is T or asserts E is T.

Has no results for types of form asserts E.