Predicate HashedButNoHash::eqWithoutHash

predicate eqWithoutHash(RefType t)