Index - B
| below | Data.Comp.Automata |
| bindsVars | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| BState | Data.Comp.Automata |
| BStep | Data.Comp.TermRewriting |
| bStep | Data.Comp.TermRewriting |
compdata-0.4.1: Compositional Data Types