Index
| Abs | Zabt.View, Zabt |
| abstract | Zabt.Internal.Term |
| Abstraction | Zabt.Internal.Nameless |
| Bound | Zabt.Internal.Nameless |
| embed | Zabt.Internal.Term |
| 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 |
| 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 |
| Scope | |
| 1 (Type/Class) | Zabt.Internal.Nameless |
| 2 (Data Constructor) | Zabt.Internal.Nameless |
| 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 |
| View | Zabt.View, Zabt |
| VPat | Zabt.View, Zabt |
| VVar | Zabt.View, Zabt |
| zero | Zabt.Internal.Index |