| Value | |
| 1 (Type/Class) | ReWire.Verilog.Syntax |
| 2 (Type/Class) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | ReWire.HSE.Rename |
| Var | |
| 1 (Data Constructor) | ReWire.Cryptol.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | ReWire.VHDL.Syntax |
| 4 (Data Constructor) | Embedder.Atmo.Syntax |
| 5 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| varAnnote | ReWire.GHC.Recognize |
| Vec | |
| 1 (Type/Class) | ReWire.BitWord |
| 2 (Type/Class) | RWC.Primitives, ReWire |
| 3 (Type/Class) | ReWire.Interactive |
| VecConcat | Embedder.Builtins, ReWire.Builtins |
| vecElemTy | Embedder.Atmo.Types |
| VecFromList | Embedder.Builtins, ReWire.Builtins |
| VecGenerate | Embedder.Builtins, ReWire.Builtins |
| VecIndex | Embedder.Builtins, ReWire.Builtins |
| VecIndexProxy | Embedder.Builtins, ReWire.Builtins |
| VecLastIndexProxy | Embedder.Builtins |
| VecMap | Embedder.Builtins, ReWire.Builtins |
| VecReplicate | Embedder.Builtins, ReWire.Builtins |
| VecReverse | Embedder.Builtins, ReWire.Builtins |
| VecRSlice | Embedder.Builtins, ReWire.Builtins |
| vecSize | Embedder.Atmo.Types |
| VecSlice | Embedder.Builtins, ReWire.Builtins |
| vecTy | Embedder.Atmo.Types |
| verb' | ReWire.Pass |
| Verbose | ReWire.Config, Embedder.Config |
| verbose | ReWire.Config, Embedder.Config |
| Verilog | ReWire.Config, Embedder.Config |
| VHDL | ReWire.Config, Embedder.Config |
| vhdlName | ReWire.VHDL.Syntax |
| vhdlPackages | ReWire.Config, Embedder.Config |
| VName | Embedder.Isabelle.Syntax |
| vocabTable | ReWire.GHC.Recognize |
| vsep | ReWire.Pretty |