Would it be possible to have a wildcard that matches any number of symbols?
Right now I am doing this by matching any number of items and having a custom constraint that asserts all are of instance of the Symbol I care about.
This is useful when you have some operation that needs all of it's arguments to be replaced into reduced symbolic form and can only itself be replaced when they all have been.
Would it be possible to have a wildcard that matches any number of symbols?
Right now I am doing this by matching any number of items and having a custom constraint that asserts all are of instance of the Symbol I care about.
This is useful when you have some operation that needs all of it's arguments to be replaced into reduced symbolic form and can only itself be replaced when they all have been.