Agda-22.214.171.124: A dependently typed functional programming language and proof assistant
simplifyLevelConstraint :: Int -> Constraint -> Constraints -> ConstraintSource
simplifyLevelConstraint n c cs turns an c into an equality
constraint if it is an inequality constraint and the reverse
inequality is contained in cs. Number n is the length
of the context c is defined in.
simplifyLevelConstraint n c cs
Produced by Haddock version 2.13.2