| I | Lorentz.Base, Lorentz |
| iAnyCode | Lorentz.Base, Lorentz |
| ifCons | Lorentz.Instr, Lorentz |
| ifEq | Lorentz.Macro, Lorentz |
| ifEq0 | Lorentz.Macro, Lorentz |
| ifGe | Lorentz.Macro, Lorentz |
| ifGe0 | Lorentz.Macro, Lorentz |
| ifGt | Lorentz.Macro, Lorentz |
| ifGt0 | Lorentz.Macro, Lorentz |
| ifLe | Lorentz.Macro, Lorentz |
| ifLe0 | Lorentz.Macro, Lorentz |
| ifLeft | Lorentz.Instr, Lorentz |
| ifLt | Lorentz.Macro, Lorentz |
| ifLt0 | Lorentz.Macro, Lorentz |
| ifNeq | Lorentz.Macro, Lorentz |
| ifNeq0 | Lorentz.Macro, Lorentz |
| ifNone | Lorentz.Instr, Lorentz |
| iForceNotFail | Lorentz.Base, Lorentz |
| ifRight | Lorentz.Macro, Lorentz |
| ifSome | Lorentz.Macro, Lorentz |
| ifThenElse | Lorentz.Rebinded, Lorentz |
| if_ | Lorentz.Instr, Lorentz |
| iGenericIf | Lorentz.Base, Lorentz |
| iMapAnyCode | Lorentz.Base, Lorentz |
| implicitAccount | Lorentz.Instr, Lorentz |
| IncorrectStorageUpdate | Lorentz.Test.Integrational, Lorentz.Test |
| IncorrectUpdates | Lorentz.Test.Integrational, Lorentz.Test |
| iNonFailingCode | Lorentz.Base, Lorentz |
| InstrConstructC | Lorentz.ADT, Lorentz |
| int | Lorentz.Instr, Lorentz |
| Integer | Lorentz.Value, Lorentz |
| integrationalFail | Lorentz.Test.Integrational, Lorentz.Test |
| IntegrationalScenario | Lorentz.Test.Integrational, Lorentz.Test |
| IntegrationalScenarioM | Lorentz.Test.Integrational, Lorentz.Test |
| integrationalTestExpectation | Lorentz.Test.Integrational, Lorentz.Test |
| integrationalTestProperty | Lorentz.Test.Integrational, Lorentz.Test |
| IntegrationalValidator | Lorentz.Test.Integrational, Lorentz.Test |
| interpretLorentzInstr | Lorentz.Run, Lorentz |
| interpretLorentzLambda | Lorentz.Run, Lorentz |
| InvalidBalance | Lorentz.Test.Integrational, Lorentz.Test |
| InvalidStorage | Lorentz.Test.Integrational, Lorentz.Test |
| IsCons | Lorentz.Rebinded, Lorentz |
| IsEq | Lorentz.Rebinded, Lorentz |
| IsError | Lorentz.Errors, Lorentz |
| IsGe | Lorentz.Rebinded, Lorentz |
| IsGt | Lorentz.Rebinded, Lorentz |
| IsHomomorphic | Lorentz.Doc, Lorentz |
| IsLe | Lorentz.Rebinded, Lorentz |
| IsLeft | Lorentz.Rebinded, Lorentz |
| IsLt | Lorentz.Rebinded, Lorentz |
| isNat | Lorentz.Instr, Lorentz |
| IsNeq | Lorentz.Rebinded, Lorentz |
| IsNil | Lorentz.Rebinded, Lorentz |
| IsNone | Lorentz.Rebinded, Lorentz |
| IsNotZero | Lorentz.Rebinded, Lorentz |
| IsoCValue | Lorentz.Value, Lorentz |
| isoErrorFromVal | Lorentz.Errors, Lorentz |
| isoErrorToVal | Lorentz.Errors, Lorentz |
| IsoMapOpRes | Lorentz.Polymorphic, Lorentz |
| IsoValue | Lorentz.Value, Lorentz |
| IsRight | Lorentz.Rebinded, Lorentz |
| IsSome | Lorentz.Rebinded, Lorentz |
| IsZero | Lorentz.Rebinded, Lorentz |
| iter | Lorentz.Instr, Lorentz |
| IterOpElHs | Lorentz.Polymorphic, Lorentz |
| IterOpHs | Lorentz.Polymorphic, Lorentz |
| iWithVarAnnotations | Lorentz.Base, Lorentz |