Modules

Structs

  • A struct that contains public variable assignments, private variable assignments, and constraint assignments.
  • A helper struct for tracking the number of constants, public inputs, private inputs, and constraints.

Enums

  • Helper enum used in the case where a circuit’s output mode or counts are determined by its mode and the actual value of the circuit.
  • A Measurement is a quantity that can be measured. The variants of the Measurement defines a condition associated with the measurable quantity.

Type Definitions