| abs | Lorentz.Instr, Lorentz |
| absurd_ | Lorentz.Empty, Lorentz |
| add | Lorentz.Instr, Lorentz |
| addNewErrorTags | Lorentz.Errors.Numeric, Lorentz |
| Address | Lorentz.Value, Lorentz |
| address | Lorentz.Instr, Lorentz |
| addressToEpAddress | Lorentz.Macro, Lorentz |
| allowCheckedCoerce | Lorentz.Coercions, Lorentz |
| allowCheckedCoerceTo | Lorentz.Coercions, Lorentz |
| AllParameterEntryPoints | Lorentz.EntryPoints.Core, Lorentz.EntryPoints, Lorentz |
| AllUStoreFieldsF | Lorentz.UStore.Migration.Diff |
| amount | Lorentz.Instr, Lorentz |
| analyzeLorentz | Lorentz.Run, Lorentz |
| and | Lorentz.Instr, Lorentz |
| apply | Lorentz.Instr, Lorentz |
| applyErrorTagMap | Lorentz.Errors.Numeric, Lorentz |
| applyErrorTagMapWithExclusions | Lorentz.Errors.Numeric, Lorentz |
| arg | Lorentz.ADT, Lorentz |
| argDef | Lorentz.ADT, Lorentz |
| argF | Lorentz.ADT, Lorentz |
| argParser | Lorentz.ContractRegistry |
| ArgumentUnpackFailed | |
| 1 (Data Constructor) | Lorentz.Extensible |
| 2 (Data Constructor) | Lorentz.UParam, Lorentz |
| ArithOpHs | Lorentz.Arith, Lorentz |
| ArithResHs | Lorentz.Arith, Lorentz |
| assert | Lorentz.Macro, Lorentz |
| assertEq | Lorentz.Macro, Lorentz |
| assertEq0 | Lorentz.Macro, Lorentz |
| assertGe | Lorentz.Macro, Lorentz |
| assertGe0 | Lorentz.Macro, Lorentz |
| assertGt | Lorentz.Macro, Lorentz |
| assertGt0 | Lorentz.Macro, Lorentz |
| assertLe | Lorentz.Macro, Lorentz |
| assertLe0 | Lorentz.Macro, Lorentz |
| assertLeft | Lorentz.Macro, Lorentz |
| assertLt | Lorentz.Macro, Lorentz |
| assertLt0 | Lorentz.Macro, Lorentz |
| assertNeq | Lorentz.Macro, Lorentz |
| assertNeq0 | Lorentz.Macro, Lorentz |
| assertNone | Lorentz.Macro, Lorentz |
| assertRight | Lorentz.Macro, Lorentz |
| assertSome | Lorentz.Macro, Lorentz |
| assertUsing | Lorentz.Macro, Lorentz |
| attachMigrationActionName | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration |