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 |
tests | Term.UnitTests |
traverseTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
trueC | Term.Builtin.Convenience |
trueSym | Term.Builtin.Signature, Term.Builtin.Rules |