Index - V
| V2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Var | |
| 1 (Data Constructor) | Control.Monad.Free.Foil |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| VarE | |
| 1 (Data Constructor) | Control.Monad.Foil.Example |
| 2 (Data Constructor) | Language.LambdaPi.Impl.Foil |
| VarIdent | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| VoidS | Control.Monad.Foil.Internal, Control.Monad.Foil |