Module move_binary_format::control_flow_graph

This module defines the control-flow graph uses for bytecode verification.

Structs

• VMControlFlowGraph
  The control flow graph that we build from the bytecode.

Traits

• ControlFlowGraph
  A trait that specifies the basic requirements for a CFG

Type Definitions

• BlockId