Predicate AV Rule 70::isTypeOrConstRef

predicate isTypeOrConstRef(Type a, Type b)