| Abs | Embedder.Isabelle.Syntax |
| absVars | Embedder.Isabelle.Syntax |
| Add | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| addMainModuleHead | ReWire.HSE.Desugar, Embedder.HSE.Desugar |
| addPrims | ReWire.Eidos.PrimBasis |
| align | ReWire.Pretty |
| allBlocks | ReWire.Synolon.Syntax |
| allExports | ReWire.HSE.Rename |
| Alt | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| AltCon | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Always | ReWire.Verilog.Syntax |
| AlwaysComb | ReWire.Verilog.Syntax |
| And | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| andS | Embedder.Isabelle.Syntax |
| angles | ReWire.Pretty |
| ann | ReWire.Annotation |
| annContext | ReWire.Annotation |
| annotate | ReWire.HSE.Annotate |
| Annotated | ReWire.Annotation |
| Annotation | ReWire.Annotation |
| Annote | |
| 1 (Type/Class) | ReWire.Annotation, ReWire.HSE.Annotate |
| 2 (Data Constructor) | ReWire.Annotation |
| annProv | ReWire.Annotation |
| App | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| 3 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Arg | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| argIds | Embedder.Isabelle.Syntax |
| arithShiftR' | ReWire.BitWord |
| arithShiftR1' | ReWire.BitWord |
| arr | Embedder.Atmo.Types |
| Arrow | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| arrow | ReWire.Eidos.Lexer |
| arrowLeft | Embedder.Atmo.Types |
| arrowRight | Embedder.Atmo.Types |
| AShr | ReWire.Hyle.Syntax |
| ashr | ReWire.BitVector |
| Assign | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.VHDL.Syntax |
| AstError | ReWire.Error |
| atomic | Embedder.Isabelle.Syntax |
| atomP | ReWire.Eidos.Parse |