Agda.TypeChecking.Constraints

catchConstraint

addConstraint

noConstraints

newProblem

newProblem_

ifNoConstraints

ifNoConstraints_

guardConstraint

whenConstraints

wakeupConstraints

wakeupConstraints_

solveAwakeConstraints

solveAwakeConstraints'

solveConstraint

solveConstraint_

checkTypeCheckingProblem