Index - L
| Language | EVM.Solidity |
| Latest | EVM.Fetch |
| lazySlice | EVM |
| LegacyTransaction | EVM.Transaction |
| LEq | EVM.Types |
| leq | EVM.Expr |
| limitStack | EVM |
| lineSubrange | EVM.Solidity |
| List | EVM.RLP |
| Lit | EVM.Types |
| LitAddr | EVM.Types |
| litAddr | EVM.Expr |
| LitByte | EVM.Types |
| litCode | EVM.Expr |
| litToArrayPreimage | EVM.Expr |
| lo | EVM.Types |
| loadContract | EVM |
| loadSymVM | EVM.SymExec |
| Log | EVM.Types |
| log2 | EVM |
| LogEntry | EVM.Types |
| lookupCode | EVM.Dapp |
| LoopHeuristic | EVM.SymExec |
| LPar | EVM.Solvers |
| LT | EVM.Types |
| lt | EVM.Expr |