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: Dec 07 2023 at 20:16 UTC