bindTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
BLTerm | Term.LTerm, Term.Substitution, Term.Unification |
bltermNodeId | Term.LTerm, Term.Substitution, Term.Unification |
bltermNodeId' | Term.LTerm, Term.Substitution, Term.Unification |
BLVar | Term.LTerm, Term.Substitution, Term.Unification |
Bound | Term.LTerm, Term.Substitution, Term.Unification |
BVar | Term.LTerm, Term.Substitution, Term.Unification |