Weaken `Lattice.Lift{,2}Conf` arguments, remove `Lattice.LiftPO`#1728

Merged

sim642 merged 4 commits into

lattice-lift-po

Apr 17, 2025

Commits on Apr 15, 2025

Commits on Apr 16, 2025

Remove dummy top/bot from DomVariantLattice0
sim642
committed

Commits on Apr 17, 2025

Merge branch 'master' into lattice-lift-po
sim642
committed