Index - V
| V | Unison.ABT |
| v' | Unison.Type |
| value | Unison.Type |
| valueRef | Unison.Type |
| Var | |
| 1 (Type/Class) | Unison.ABT |
| 2 (Data Constructor) | Unison.ABT |
| 3 (Type/Class) | Unison.Var |
| 4 (Data Constructor) | Unison.Pattern |
| var | |
| 1 (Function) | Unison.ABT |
| 2 (Function) | Unison.Type |
| 3 (Function) | Unison.Term |
| Var' | |
| 1 (Data Constructor) | Unison.ABT |
| 2 (Data Constructor) | Unison.Type |
| 3 (Data Constructor) | Unison.Term |
| var' | Unison.Term |
| visit | |
| 1 (Function) | Unison.ABT |
| 2 (Function) | Unison.ABT.Normalized |
| visit' | Unison.ABT |
| visitPure | |
| 1 (Function) | Unison.ABT |
| 2 (Function) | Unison.ABT.Normalized |
| visit_ | Unison.ABT |
| vmap | |
| 1 (Function) | Unison.ABT |
| 2 (Function) | Unison.Term |
| vmapM | Unison.ABT |
| vtmap | Unison.Term |