Index - I
| Id | Covenant.ASG |
| IData | Covenant.Prim |
| IfThenElse | Covenant.Prim |
| ImpossibleHappened | Covenant.ASG |
| Index | Covenant.Index |
| IndexByteString | Covenant.Prim |
| InsufficientArgs | Covenant.ASG |
| intCount | Covenant.Index |
| IntegerT | Covenant.Type |
| integerT | Covenant.Type |
| IntegerToByteString | Covenant.Prim |
| intIndex | Covenant.Index |
| IntroFormErrorNodeField | Covenant.ASG |
| IntroFormWrongNumArgs | Covenant.ASG |
| InvalidAbstractionReference | Covenant.ASG, Covenant.Test |
| InvalidOpaqueField | Covenant.ASG |
| InvalidRecursion | Covenant.Data |
| InvalidScopeReference | Covenant.ASG, Covenant.Test |
| isRecursiveChildOf | Covenant.Data |
| ix0 | Covenant.Index |
| ix1 | Covenant.Index |
| ix2 | Covenant.Index |
| ix3 | Covenant.Index |