Is there a function ConstraintSet.t -> LevelSet.t such that uGraph.uctx_invariants holds of the resulting pair?

ConstraintSet.t -> LevelSet.t

uGraph.uctx_invariants

I found a workaround

Jason Gross has marked this topic as resolved.

Last updated: May 31 2023 at 04:01 UTC