Term.UnitTests
testEqual
testTrue
testsMatching
propMatchSound
testsUnify
propUnifySound
testsSubst
testsSubs
ppLTerm
ppLSubst
testsNorm
testsTerm
propSubtermReplace
bigTerm
normBigTerm
tcompare
testsVariant
testsSimple
tests
allMaudeSig
te
sub4
sub6
sub4'
sub6'
tevs
runTest
pair
expo
inv
union
mult
one