compareAnyTerm identicalVar isGround isVar readAnyUnqualifiedTerm readsAnyUnqualifiedTerm showAnyExpression showAnyTerm spawnConstraint trace unsafePerformIO
compareAnyTerm
identicalVar
isGround
isVar
readAnyUnqualifiedTerm
readsAnyUnqualifiedTerm
showAnyExpression
showAnyTerm
spawnConstraint
trace
unsafePerformIO