Predicate HashedButNoHash::dictionary

predicate dictionary(ConstructedType constructed)