tcompare | Term.UnitTests |
te | Term.UnitTests |
Term | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
termVar | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
termVar' | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
TermView | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
TermView2 | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
testEqual | Term.UnitTests |
tests | Term.UnitTests |
testsMatching | Term.UnitTests |
testsNorm | Term.UnitTests |
testsSimple | Term.UnitTests |
testsSubs | Term.UnitTests |
testsSubst | Term.UnitTests |
testsTerm | Term.UnitTests |
testsUnify | Term.UnitTests |
testsVariant | Term.UnitTests |
testTrue | Term.UnitTests |
tevs | Term.UnitTests |
traverseTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
trueC | Term.Builtin.Convenience |
trueSym | Term.Builtin.Signature, Term.Builtin.Rules |