use macros in preparation for lambda set inference

This commit is contained in:
Folkert 2021-05-14 12:42:25 +02:00
parent 0ff7c98def
commit 087ee18f09

File diff suppressed because it is too large Load Diff