CircuitDefinition

A trait for defining a circuit’s structure and behavior.

This trait is used to define the structure of a circuit, including its inputs, gates, and outputs. It provides the foundation for circuit evaluation. The CES type parameter represents a tuple of CircuitElements that together define the circuit’s structure.

Fully qualified path: core::circuit::CircuitDefinition

pub trait CircuitDefinition<CES>

Trait types

CircuitType

The internal circuit type representing a tuple of CircuitElements.

Fully qualified path: core::circuit::CircuitDefinition::CircuitType

type CircuitType;