Module execution 

Execution module

Modules

engine

Engine module

storage

Storage implementation for the execution state

types

Types needed in execution

validation

Validation module