Module circomspect_program_structure::control_flow_graph

source · [−]

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.

Type Definitions

Index

Basic block index type.