Index - B
| bindTerm | Theory.Model, Theory |
| BLAtom | Theory.Model.Atom, Theory.Model, Theory |
| BLTerm | Theory.Model, Theory |
| bltermNodeId | Theory.Model, Theory |
| bltermNodeId' | Theory.Model, Theory |
| BLVar | Theory.Model, Theory |
| BoringNodeStyle | Theory.Constraint.System.Dot |
| Bound | Theory.Model, Theory |
| bpFunSig | Theory.Model, Theory |
| bpIntruderRules | Theory.Tools.IntruderRules |
| bpMaudeSig | Theory.Model, Theory |
| bpReducibleFunSig | Theory.Model, Theory |
| braced | Theory.Text.Parser.Token |
| braces | Theory.Text.Pretty |
| brackets | |
| 1 (Function) | Theory.Text.Pretty |
| 2 (Function) | Theory.Text.Parser.Token |
| BVar | Theory.Model, Theory |
| bvarToLVar | Theory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |