Module circomspect_program_structure::intermediate_representation::declarations

Structs

Declaration

To avoid having to add a new declaration for each new version of a variable we track all declarations as part of the CFG header.

Declarations

A structure used to track declared variables.