Agda.TypeChecking.Monad.Constraints

currentProblem

stealConstraints

solvingProblem

isProblemSolved

getConstraintsForProblem

getAwakeConstraints

wakeConstraints

takeAwakeConstraint

getAllConstraints

withConstraint

buildProblemConstraint

buildConstraint

addConstraint'

addAwakeConstraints

nowSolvingConstraints

isSolvingConstraints