Index - I
| Id | Covenant.ASG |
| IfThenElse | Covenant.Prim |
| Index | Covenant.Index |
| IndexByteString | Covenant.Prim |
| InsufficientArgs | Covenant.Type |
| intCount | Covenant.Index |
| IntegerT | Covenant.Type |
| integerT | Covenant.Type |
| IntegerToByteString | Covenant.Prim |
| intIndex | Covenant.Index |
| InvalidAbstractionReference | Covenant.Type, Covenant.ASG |
| IrrelevantAbstraction | Covenant.Type, Covenant.ASG |
| ix0 | Covenant.Index |
| ix1 | Covenant.Index |
| ix2 | Covenant.Index |
| ix3 | Covenant.Index |