Index
| A0 | Zabt.Arity, Zabt |
| A1 | Zabt.Arity, Zabt |
| A2 | Zabt.Arity, Zabt |
| A3 | Zabt.Arity, Zabt |
| Abs | Zabt.View, Zabt |
| abstract | Zabt.Internal.Term |
| Abstraction | Zabt.Internal.Nameless |
| Arity | Zabt.Arity, Zabt |
| B | |
| 1 (Type/Class) | Zabt.Arity, Zabt |
| 2 (Data Constructor) | Zabt.Arity, Zabt |
| Bound | Zabt.Internal.Nameless |
| DownTo | Zabt.Arity, Zabt |
| embed | Zabt.Internal.Term |
| Flat | Zabt.Internal.Term, Zabt |
| fold | Zabt.View, Zabt |
| Free | Zabt.Internal.Nameless |
| free | Zabt.Internal.Term |
| freeVars | Zabt.Internal.Term, Zabt |
| Freshen | Zabt.Freshen, Zabt |
| freshen | Zabt.Freshen, Zabt |
| freshenUntil | Zabt.Freshen |
| freshWrt | Zabt.Freshen |
| G | |
| 1 (Type/Class) | Zabt.Arity, Zabt |
| 2 (Data Constructor) | Zabt.Arity, Zabt |
| Index | |
| 1 (Type/Class) | Zabt.Internal.Index |
| 2 (Data Constructor) | Zabt.Internal.Index |
| Name | |
| 1 (Type/Class) | Zabt.Name |
| 2 (Data Constructor) | Zabt.Name |
| Nameless | Zabt.Internal.Nameless |
| next | Zabt.Internal.Index |
| Pat | Zabt.View, Zabt |
| Pattern | Zabt.Internal.Nameless |
| project | Zabt.Internal.Term |
| subst | Zabt.Internal.Term, Zabt |
| subst1 | Zabt.Internal.Term, Zabt |
| substitute | Zabt.Internal.Term |
| substitute' | Zabt.Internal.Term |
| substMap | Zabt.Internal.Term, Zabt |
| Term | |
| 1 (Type/Class) | Zabt.Internal.Term, Zabt |
| 2 (Data Constructor) | Zabt.Internal.Term |
| unfold | Zabt.View, Zabt |
| VAbs | Zabt.View, Zabt |
| value | Zabt.Internal.Index |
| Var | Zabt.View, Zabt |
| var | Zabt.Internal.Term |
| vfoldMap | Zabt.Visits, Zabt |
| View | Zabt.View, Zabt |
| visit | Zabt.Visits, Zabt |
| Visits | Zabt.Visits, Zabt |
| vmap | Zabt.Visits, Zabt |
| VPat | Zabt.View, Zabt |
| VVar | Zabt.View, Zabt |
| zero | Zabt.Internal.Index |