Skip to content

Fix universes up to solve_defs

Tej Chajed requested to merge tchajed/diaframe:fix-universes into master

This allows importing solve_defs and getting Succeed Constraint universes.Logic < universes.Quant., where those two universes are declared in iris.bi.interface. Unfortunately this isn't enough to use Diaframe and my attempt to continue this broke something.

Merge request reports