Module circomspect_program_structure::control_flow_graph

Re-exports

• pub use basic_block::BasicBlock;

Modules

• basic_block
• errors
• parameters

Structs

• Cfg

Enums

• DefinitionType

Traits

• IntoCfg
  This is a high level trait which simply wraps the implementation provided by TryLift. We need to pass the prime to the CFG here, to be able to do value propagation when converting to SSA.

Type Definitions

• Index
  Basic block index type.