Module witness 

Available on crate feature evm only.

Helper types for execution witness generation.

Structs

ExecutionWitnessRecord

Tracks state changes during execution.