Index - B
| backstep | EVM.TTY |
| backstepUntil | EVM.TTY |
| BadCheatCode | EVM |
| BadJumpDestination | |
| 1 (Data Constructor) | EVM.Types |
| 2 (Data Constructor) | EVM |
| Balance | EVM.Types |
| balance | EVM |
| BalanceFact | EVM.Facts |
| BalanceTooLow | EVM |
| BaseFee | EVM.Types |
| baseFee | EVM |
| berlin | EVM.FeeSchedule |
| Bitwuzla | EVM.SMT |
| blankState | EVM |
| blob | EVM.Facts |
| Block | |
| 1 (Type/Class) | EVM |
| 2 (Data Constructor) | EVM |
| block | EVM |
| blockContext | EVM.SMT |
| blockContextV | EVM.SMT |
| BlockHash | EVM.Types |
| BlockNumber | |
| 1 (Data Constructor) | EVM.Types |
| 2 (Type/Class) | EVM.Fetch |
| 3 (Data Constructor) | EVM.Fetch |
| boldAttr | EVM.TTY |
| bool | EVM.SymExec |
| both' | EVM.SymExec |
| branch | EVM |
| BranchCondition | EVM |
| browserContractList | EVM.TTY |
| BrowserPane | EVM.TTY |
| browserVm | EVM.TTY |
| BS | EVM.RLP |
| Buf | EVM.Types |
| BufEnv | EVM.CSE |
| buffers | EVM.SMT |
| buffersV | EVM.SMT |
| BufLength | EVM.Types |
| bufLength | EVM.Expr |
| BufVar | EVM.Types |
| buildExpr | EVM.Dev |
| burn | EVM |
| burned | EVM |
| Byte | EVM.Types |
| byteAt | EVM.Types |
| bytecode | EVM |
| BytecodePane | EVM.TTY |
| bytesToW256 | EVM.Expr |
| ByteStringS | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| byteStringSliceWithDefaultZeroes | EVM.Concrete |