Is there any difference between using
Set.filter and set comprehensions from an automation perspective?
I think there's not a lot of automation for
Set.filter, if any.
I vaguely recall myself using
Set.filter occasionally for some reason… maybe because of more straightforward cong/monotonicity rules. Also code generation.
But you usually have to unfold its definition for automation to do anything.
Last updated: Feb 27 2024 at 08:17 UTC