Index
| Alg | Present.Types, Present |
| asData | Present |
| Char | Present.Types, Present |
| cons | Present.ID |
| Floating | Present.Types, Present |
| fromList | Present.ID |
| ID | Present.ID, Present |
| Integer | Present.Types, Present |
| List | Present.Types, Present |
| present | Present |
| Presentation | Present.Types, Present |
| singleton | Present.ID |
| snoc | Present.ID |
| split | Present.ID |
| String | Present.Types, Present |
| Tuple | Present.Types, Present |