Predicate ExposeRepresentation::relevantType

predicate relevantType(RefType t)