Module procedure

Source

Structs§

ProcedureInitialState
ShadowedProcedure

Traits§

Procedure
A trait that can modify all parts of the VM state.