| Abstract | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| addrOf | Ivory.Language.MemArea, Ivory.Language |
| aiConst | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| aiFile | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| aiSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| AllocEff | Ivory.Language.Effects, Ivory.Language |
| AllocEffects | Ivory.Language.Effects, Ivory.Language |
| AllocRef | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| AllowBreak | Ivory.Language.Effects, Ivory.Language |
| AProxy | Ivory.Language.Area |
| Area | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 3 (Type/Class) | Ivory.Language.Area, Ivory.Language |
| area | Ivory.Language.MemArea, Ivory.Language |
| areaConst | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| AreaImport | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| areaInit | |
| 1 (Function) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Function) | Ivory.Language.MemArea |
| AreaInitM | |
| 1 (Type/Class) | Ivory.Language.MemArea |
| 2 (Data Constructor) | Ivory.Language.MemArea |
| areaInit_iso | Ivory.Language.MemArea |
| areaSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| areaType | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Array | Ivory.Language.Area, Ivory.Language |
| arrayLen | Ivory.Language.Array, Ivory.Language |
| arrayMap | Ivory.Language.Loop, Ivory.Language |
| Assert | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| assert | Ivory.Language.Assert, Ivory.Language |
| Assign | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| assign | Ivory.Language.Monad, Ivory.Language |
| Assume | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| assume | Ivory.Language.Assert, Ivory.Language |