Stream: MetaCoq

Topic: ConstraintSet.t -> LevelSet.t


view this post on Zulip Jason Gross (Nov 04 2022 at 18:21):

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


Last updated: Feb 04 2023 at 02:03 UTC