Modules
Structs
The CircuitContext struct is a generic structure designed to handle the context of a circuit for generic types F, TraceArgs and StepArgs. The struct contains a Circuit instance and implements methods to build the circuit, add various components, and manipulate the circuit.
Type Parameters
The StepTypeContext struct is a generic structure designed to handle the context of a step type for generic types F and Args. The struct contains a StepType instance and implements methods to build the step type, add components, and manipulate the step type.
Type Parameters
Functions
Creates a Circuit instance by providing a name and a definition closure that is applied to a mutable CircuitContext. The user customizes the definition closure by calling CircuitContext functions. This is the main function that users call to define a Chiquito circuit.