Agda.TypeChecking.Constraints
catchConstraint
addConstraint
noConstraints
newProblem
newProblem_
ifNoConstraints
ifNoConstraints_
guardConstraint
whenConstraints
wakeupConstraints
wakeupConstraints_
solveAwakeConstraints
solveAwakeConstraints'
solveConstraint
solveConstraint_
checkTypeCheckingProblem