Our new %pattern type has to include everything that can be considered a pattern. E.g.
assert( (1,2) is %pattern ).
should work. That basically means everything structural should be included in this type. However, functions, function symbols, and operator symbols need to be excluded since these represent computations and not structures.
Our new
%patterntype has to include everything that can be considered a pattern. E.g.should work. That basically means everything structural should be included in this type. However, functions, function symbols, and operator symbols need to be excluded since these represent computations and not structures.