Skip to content

also use □ in bi_{least,greates}_fixpoint

Ralf Jung requested to merge ralf/fixpoint into master

This is a follow-up to !714 (merged) which changed the statement of bi_mono_pred. I propose we also change bi_{least,greates}_fixpoint to match.

Merge request reports