Closed kjetilk closed 5 years ago
So, just wondering if something like this might make sense to have when testing whether a certain pattern has bound terms.
I suppose that does saves some typing when dealing with patterns. Happy to merge it. Thanks.
So, just wondering if something like this might make sense to have when testing whether a certain pattern has bound terms.