| package | Ivory.Language.Module, Ivory.Language |
| primAddrOf | Ivory.Language.MemArea |
| primRound | Ivory.Language.Float |
| primRunIvory | Ivory.Language.Monad |
| Private | Ivory.Language.Module |
| private | |
| 1 (Function) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Function) | Ivory.Language.Module, Ivory.Language |
| Proc | |
| 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.Proc, Ivory.Language |
| proc | Ivory.Language.Proc, Ivory.Language |
| procArgs | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| procBody | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| procDef | Ivory.Language.Proc |
| ProcEffects | Ivory.Language.Effects, Ivory.Language |
| procEnsures | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ProcPtr | |
| 1 (Type/Class) | Ivory.Language.Proc, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Proc |
| procPtr | Ivory.Language.Proc, Ivory.Language |
| procRequires | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| procRetTy | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| procSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ProcType | Ivory.Language.Proc |
| procType | Ivory.Language.Proc |
| Proxy | |
| 1 (Type/Class) | Ivory.Language.Proxy, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Proxy, Ivory.Language |
| Ptr | |
| 1 (Type/Class) | Ivory.Language.Ptr, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Ptr |
| ptrToRef | Ivory.Language.Ptr |
| Public | Ivory.Language.Module |
| public | |
| 1 (Function) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Function) | Ivory.Language.Module, Ivory.Language |