DSL quantifier types -> quantifier functions#126

Merged

rxwei merged 1 commit intoswiftlang:mainfrom

rxwei:quantifier-functions

Feb 8, 2022

Commits on Feb 8, 2022

Change quantifiers in the DSL from structure types to top-level functions. This allows for a lot more flexibility with overloading a quantifier based on the input `Match` type. The immediate bene…
rxwei
committed