Module ast

Add And Bin Branch Byte Call CallCode CallDataLoad CallSite CallValue Cmp Create Create2 DataCopy DelegateCall Div Eq Exp Fn Gt If Invalid IsZero Jump JumpDest Jumpi Local Locali Log Lt MLoad MStore MappingLoad MappingStore Mod Mul Not Or Prop Require Return ReturnData Revert SLoad SStore Sar SelfDestruct Sha3 Shift Shl Shr Sig SigCase StaticCall Stop Sub Tag Throw Unary Val Variable Xor

IEvents IInst IReverts IStore

Expr Inst Stmt

FNS MOD_256 Props

evalE inline0 isExpr isInst mem reduce