Skip to content

CorePrep: Name `sat` binders more descriptively

Ben Gamari requested to merge wip/coreprep-sat-name into master

I found this useful in the past but never actually measured its performance impact. Let's see what CI says.

Edited by Ben Gamari

Merge request reports