Index - B
| bigTerm | Term.UnitTests |
| 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 |
| bpFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| bpMaudeSig | Term.Maude.Signature, Term.Unification |
| bpReducibleFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| bpRules | Term.Builtin.Rules |
| BVar | Term.LTerm, Term.Substitution, Term.Unification |