Agda.TypeChecking.Monad.Constraints

getConstraints

lookupConstraint

takeConstraints

withConstraint

addConstraints

buildConstraint