diff --git a/docs/chiquito/ast/query/enum.Queriable.html b/docs/chiquito/ast/query/enum.Queriable.html index 31c12657..12c3018b 100644 --- a/docs/chiquito/ast/query/enum.Queriable.html +++ b/docs/chiquito/ast/query/enum.Queriable.html @@ -18,12 +18,12 @@ with arbitrary rotation. Must be called on a shared signal and used within a transition constraint. Returns a new Queriable shared signal with positive or negative rotation.

-
source

pub fn uuid(&self) -> u128

source

pub fn annotation(&self) -> String

Trait Implementations§

source§

impl<F: Clone, RHS: Into<ASTExpr<F>>> Add<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the + operator.
source§

fn add(self, rhs: RHS) -> Self::Output

Performs the + operation. Read more
source§

impl<F: Clone> Clone for Queriable<F>

source§

fn clone(&self) -> Queriable<F>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<F> Debug for Queriable<F>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for Queriable<Fr>

source§

fn deserialize<D>(deserializer: D) -> Result<Queriable<Fr>, D::Error>where - D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F> From<Queriable<F>> for ASTExpr<F>

source§

fn from(value: Queriable<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for Constraint<F>

source§

fn from(query: Queriable<F>) -> Self

Converts to this type from the input type.
source§

impl<F: Hash> Hash for Queriable<F>

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where +

source

pub fn uuid(&self) -> u128

source

pub fn annotation(&self) -> String

Trait Implementations§

source§

impl<F: Clone, RHS: Into<ASTExpr<F>>> Add<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the + operator.
source§

fn add(self, rhs: RHS) -> Self::Output

Performs the + operation. Read more
source§

impl<F: Clone> Clone for Queriable<F>

source§

fn clone(&self) -> Queriable<F>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<F> Debug for Queriable<F>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for Queriable<Fr>

source§

fn deserialize<D>(deserializer: D) -> Result<Queriable<Fr>, D::Error>where + D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F> From<Queriable<F>> for ASTExpr<F>

source§

fn from(value: Queriable<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for Constraint<F>

source§

fn from(query: Queriable<F>) -> Self

Converts to this type from the input type.
source§

impl<F: Hash> Hash for Queriable<F>

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, - Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl<F: Clone, RHS: Into<ASTExpr<F>>> Mul<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: RHS) -> Self::Output

Performs the * operation. Read more
source§

impl<F: Clone> Neg for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the - operator.
source§

fn neg(self) -> Self::Output

Performs the unary - operation. Read more
source§

impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>

source§

fn eq(&self, other: &Queriable<F>) -> bool

This method tests for self and other values to be equal, and is used + Self: Sized,
Feeds a slice of this type into the given Hasher. Read more
source§

impl<F: Clone, RHS: Into<ASTExpr<F>>> Mul<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: RHS) -> Self::Output

Performs the * operation. Read more
source§

impl<F: Clone> Neg for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the - operator.
source§

fn neg(self) -> Self::Output

Performs the unary - operation. Read more
source§

impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>

source§

fn eq(&self, other: &Queriable<F>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always -sufficient, and should not be overridden without very good reason.
source§

impl<F: Clone, RHS: Into<ASTExpr<F>>> Sub<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: RHS) -> Self::Output

Performs the - operation. Read more
source§

impl<F: Clone> ToExpr<F, Queriable<F>> for Queriable<F>

source§

fn expr(&self) -> ASTExpr<F>

source§

impl<F: Copy> Copy for Queriable<F>

source§

impl<F: Eq> Eq for Queriable<F>

source§

impl<F> StructuralEq for Queriable<F>

source§

impl<F> StructuralPartialEq for Queriable<F>

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for Queriable<F>where +sufficient, and should not be overridden without very good reason.

source§

impl<F: Clone, RHS: Into<ASTExpr<F>>> Sub<RHS> for Queriable<F>

§

type Output = Expr<F, Queriable<F>>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: RHS) -> Self::Output

Performs the - operation. Read more
source§

impl<F: Clone> ToExpr<F, Queriable<F>> for Queriable<F>

source§

fn expr(&self) -> ASTExpr<F>

source§

impl<F: Copy> Copy for Queriable<F>

source§

impl<F: Eq> Eq for Queriable<F>

source§

impl<F> StructuralEq for Queriable<F>

source§

impl<F> StructuralPartialEq for Queriable<F>

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for Queriable<F>where F: RefUnwindSafe,

§

impl<F> Send for Queriable<F>where F: Send,

§

impl<F> Sync for Queriable<F>where F: Sync,

§

impl<F> Unpin for Queriable<F>where diff --git a/docs/chiquito/ast/type.ASTExpr.html b/docs/chiquito/ast/type.ASTExpr.html index 9d3fcd88..fb64a5ab 100644 --- a/docs/chiquito/ast/type.ASTExpr.html +++ b/docs/chiquito/ast/type.ASTExpr.html @@ -1 +1 @@ -ASTExpr in chiquito::ast - Rust

Type Definition chiquito::ast::ASTExpr

source · 
pub type ASTExpr<F> = Expr<F, Queriable<F>>;

Trait Implementations§

source§

impl<F> From<Constraint<F>> for ASTExpr<F>

source§

fn from(c: Constraint<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for ASTExpr<F>

source§

fn from(value: Queriable<F>) -> Self

Converts to this type from the input type.
\ No newline at end of file +ASTExpr in chiquito::ast - Rust

Type Definition chiquito::ast::ASTExpr

source · 
pub type ASTExpr<F> = Expr<F, Queriable<F>>;

Trait Implementations§

source§

impl<F> From<Constraint<F>> for ASTExpr<F>

source§

fn from(c: Constraint<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for ASTExpr<F>

source§

fn from(value: Queriable<F>) -> Self

Converts to this type from the input type.
\ No newline at end of file diff --git a/docs/chiquito/frontend/dsl/cb/struct.Constraint.html b/docs/chiquito/frontend/dsl/cb/struct.Constraint.html index 5c144fd6..ef6bb653 100644 --- a/docs/chiquito/frontend/dsl/cb/struct.Constraint.html +++ b/docs/chiquito/frontend/dsl/cb/struct.Constraint.html @@ -3,7 +3,7 @@ pub expr: ASTExpr<F>, pub typing: Typing, }
Expand description

Represents a constraint with an associated annotation and expression.

-

Fields§

§annotation: String§expr: ASTExpr<F>§typing: Typing

Trait Implementations§

source§

impl<F: Clone> Clone for Constraint<F>

source§

fn clone(&self) -> Constraint<F>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<F> Debug for Constraint<F>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<F> From<Constraint<F>> for ASTExpr<F>

source§

fn from(c: Constraint<F>) -> Self

Converts to this type from the input type.
source§

impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>

source§

fn from(expr: ASTExpr<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for Constraint<F>

source§

fn from(query: Queriable<F>) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<bool> for Constraint<F>

source§

fn from(value: bool) -> Self

Converts to this type from the input type.
source§

impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>

source§

fn from(v: i32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u32> for Constraint<F>

source§

fn from(value: u32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u64> for Constraint<F>

source§

fn from(value: u64) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u8> for Constraint<F>

source§

fn from(value: u8) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<usize> for Constraint<F>

source§

fn from(value: usize) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for Constraint<F>where +

Fields§

§annotation: String§expr: ASTExpr<F>§typing: Typing

Trait Implementations§

source§

impl<F: Clone> Clone for Constraint<F>

source§

fn clone(&self) -> Constraint<F>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<F> Debug for Constraint<F>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<F> From<Constraint<F>> for ASTExpr<F>

source§

fn from(c: Constraint<F>) -> Self

Converts to this type from the input type.
source§

impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>

source§

fn from(expr: ASTExpr<F>) -> Self

Converts to this type from the input type.
source§

impl<F> From<Queriable<F>> for Constraint<F>

source§

fn from(query: Queriable<F>) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<bool> for Constraint<F>

source§

fn from(value: bool) -> Self

Converts to this type from the input type.
source§

impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>

source§

fn from(v: i32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u32> for Constraint<F>

source§

fn from(value: u32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u64> for Constraint<F>

source§

fn from(value: u64) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<u8> for Constraint<F>

source§

fn from(value: u8) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64> + Debug> From<usize> for Constraint<F>

source§

fn from(value: usize) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for Constraint<F>where F: RefUnwindSafe,

§

impl<F> Send for Constraint<F>where F: Send,

§

impl<F> Sync for Constraint<F>where F: Sync,

§

impl<F> Unpin for Constraint<F>where diff --git a/docs/chiquito/frontend/dsl/enum.StepTypeDefInput.html b/docs/chiquito/frontend/dsl/enum.StepTypeDefInput.html index c93a290a..f494b3ed 100644 --- a/docs/chiquito/frontend/dsl/enum.StepTypeDefInput.html +++ b/docs/chiquito/frontend/dsl/enum.StepTypeDefInput.html @@ -1,7 +1,7 @@ StepTypeDefInput in chiquito::frontend::dsl - Rust

Enum chiquito::frontend::dsl::StepTypeDefInput

source · 
pub enum StepTypeDefInput {
     Handler(StepTypeHandler),
     String(&'static str),
-}

Variants§

§

Handler(StepTypeHandler)

§

String(&'static str)

Trait Implementations§

source§

impl From<&'static str> for StepTypeDefInput

source§

fn from(s: &'static str) -> Self

Converts to this type from the input type.
source§

impl From<StepTypeHandler> for StepTypeDefInput

source§

fn from(h: StepTypeHandler) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere +}

Variants§

§

Handler(StepTypeHandler)

§

String(&'static str)

Trait Implementations§

source§

impl From<&'static str> for StepTypeDefInput

source§

fn from(s: &'static str) -> Self

Converts to this type from the input type.
source§

impl From<StepTypeHandler> for StepTypeDefInput

source§

fn from(h: StepTypeHandler) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Conv for T

§

fn conv<T>(self) -> Twhere diff --git a/docs/chiquito/frontend/dsl/struct.StepTypeHandler.html b/docs/chiquito/frontend/dsl/struct.StepTypeHandler.html index 37a5f0c9..6b33db7e 100644 --- a/docs/chiquito/frontend/dsl/struct.StepTypeHandler.html +++ b/docs/chiquito/frontend/dsl/struct.StepTypeHandler.html @@ -2,7 +2,7 @@ pub annotation: &'static str, /* private fields */ }

Fields§

§annotation: &'static str

Implementations§

source§

impl StepTypeHandler

source

pub fn new_with_id(id: u128, annotation: String) -> Self

source

pub fn uuid(&self) -> u128

source

pub fn next<F>(&self) -> Queriable<F>

Trait Implementations§

source§

impl Clone for StepTypeHandler

source§

fn clone(&self) -> StepTypeHandler

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for StepTypeHandler

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for StepTypeHandler

source§

fn deserialize<D>(deserializer: D) -> Result<StepTypeHandler, D::Error>where - D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F, Args, D: Fn(&mut StepInstance<F>, Args) + 'static> From<&StepTypeWGHandler<F, Args, D>> for StepTypeHandler

source§

fn from(h: &StepTypeWGHandler<F, Args, D>) -> Self

Converts to this type from the input type.
source§

impl From<StepTypeHandler> for StepTypeDefInput

source§

fn from(h: StepTypeHandler) -> Self

Converts to this type from the input type.
source§

impl Hash for StepTypeHandler

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where + D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F, Args, D: Fn(&mut StepInstance<F>, Args) + 'static> From<&StepTypeWGHandler<F, Args, D>> for StepTypeHandler

source§

fn from(h: &StepTypeWGHandler<F, Args, D>) -> Self

Converts to this type from the input type.
source§

impl From<StepTypeHandler> for StepTypeDefInput

source§

fn from(h: StepTypeHandler) -> Self

Converts to this type from the input type.
source§

impl Hash for StepTypeHandler

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq<StepTypeHandler> for StepTypeHandler

source§

fn eq(&self, other: &StepTypeHandler) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always diff --git a/docs/chiquito/plonkish/compiler/cell_manager/struct.SignalPlacement.html b/docs/chiquito/plonkish/compiler/cell_manager/struct.SignalPlacement.html index 0924e5e0..92153871 100644 --- a/docs/chiquito/plonkish/compiler/cell_manager/struct.SignalPlacement.html +++ b/docs/chiquito/plonkish/compiler/cell_manager/struct.SignalPlacement.html @@ -1,7 +1,7 @@ SignalPlacement in chiquito::plonkish::compiler::cell_manager - Rust

Struct chiquito::plonkish::compiler::cell_manager::SignalPlacement

source · 
pub struct SignalPlacement {
     pub column: Column,
     pub rotation: i32,
-}

Fields§

§column: Column§rotation: i32

Implementations§

source§

impl SignalPlacement

source

pub fn new(column: Column, rotation: i32) -> Self

Trait Implementations§

source§

impl Clone for SignalPlacement

source§

fn clone(&self) -> SignalPlacement

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for SignalPlacement

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl From<(Column, i32)> for SignalPlacement

source§

fn from((column, rotation): (Column, i32)) -> Self

Converts to this type from the input type.
source§

impl From<SignalPlacement> for (Column, i32)

source§

fn from(placement: SignalPlacement) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere +}

Fields§

§column: Column§rotation: i32

Implementations§

source§

impl SignalPlacement

source

pub fn new(column: Column, rotation: i32) -> Self

Trait Implementations§

source§

impl Clone for SignalPlacement

source§

fn clone(&self) -> SignalPlacement

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for SignalPlacement

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl From<(Column, i32)> for SignalPlacement

source§

fn from((column, rotation): (Column, i32)) -> Self

Converts to this type from the input type.
source§

impl From<SignalPlacement> for (Column, i32)

source§

fn from(placement: SignalPlacement) -> Self

Converts to this type from the input type.

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Conv for T

§

fn conv<T>(self) -> Twhere diff --git a/docs/chiquito/poly/enum.Expr.html b/docs/chiquito/poly/enum.Expr.html index 9279aec3..045cc9ce 100644 --- a/docs/chiquito/poly/enum.Expr.html +++ b/docs/chiquito/poly/enum.Expr.html @@ -6,8 +6,8 @@ Pow(Box<Expr<F, V>>, u32), Query(V), Halo2Expr(Expression<F>), -}

Variants§

§

Const(F)

§

Sum(Vec<Expr<F, V>>)

§

Mul(Vec<Expr<F, V>>)

§

Neg(Box<Expr<F, V>>)

§

Pow(Box<Expr<F, V>>, u32)

§

Query(V)

§

Halo2Expr(Expression<F>)

Implementations§

source§

impl<F: Clone> Expr<F, (Column, i32, String)>

source

pub fn rotate(&self, rot: i32) -> PolyExpr<F>

Trait Implementations§

source§

impl<F, V, RHS: Into<Expr<F, V>>> Add<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the + operator.
source§

fn add(self, rhs: RHS) -> Self

Performs the + operation. Read more
source§

impl<F: Clone, V: Clone> Clone for Expr<F, V>

source§

fn clone(&self) -> Expr<F, V>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<F: Debug, V: Debug> Debug for Expr<F, V>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>

source§

fn deserialize<D>(deserializer: D) -> Result<Expr<Fr, Queriable<Fr>>, D::Error>where - D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>

source§

fn from(expr: ASTExpr<F>) -> Self

Converts to this type from the input type.
source§

impl<F, V> From<Expression<F>> for Expr<F, V>

source§

fn from(value: Expression<F>) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<bool> for Expr<F, V>

source§

fn from(value: bool) -> Self

Converts to this type from the input type.
source§

impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>

source§

fn from(value: i32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u32> for Expr<F, V>

source§

fn from(value: u32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u64> for Expr<F, V>

source§

fn from(value: u64) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u8> for Expr<F, V>

source§

fn from(value: u8) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<usize> for Expr<F, V>

source§

fn from(value: usize) -> Self

Converts to this type from the input type.
source§

impl<F, V, RHS: Into<Expr<F, V>>> Mul<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: RHS) -> Self

Performs the * operation. Read more
source§

impl<F, V> Neg for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the - operator.
source§

fn neg(self) -> Self

Performs the unary - operation. Read more
source§

impl<F, V, RHS: Into<Expr<F, V>>> Sub<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: RHS) -> Self

Performs the - operation. Read more
source§

impl<F: Clone, V: Clone> ToExpr<F, V> for Expr<F, V>

source§

fn expr(&self) -> Expr<F, V>

Auto Trait Implementations§

§

impl<F, V> RefUnwindSafe for Expr<F, V>where +}

Variants§

§

Const(F)

§

Sum(Vec<Expr<F, V>>)

§

Mul(Vec<Expr<F, V>>)

§

Neg(Box<Expr<F, V>>)

§

Pow(Box<Expr<F, V>>, u32)

§

Query(V)

§

Halo2Expr(Expression<F>)

Implementations§

source§

impl<F: Clone> Expr<F, (Column, i32, String)>

source

pub fn rotate(&self, rot: i32) -> PolyExpr<F>

Trait Implementations§

source§

impl<F, V, RHS: Into<Expr<F, V>>> Add<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the + operator.
source§

fn add(self, rhs: RHS) -> Self

Performs the + operation. Read more
source§

impl<F: Clone, V: Clone> Clone for Expr<F, V>

source§

fn clone(&self) -> Expr<F, V>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<F: Debug, V: Debug> Debug for Expr<F, V>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>

source§

fn deserialize<D>(deserializer: D) -> Result<Expr<Fr, Queriable<Fr>>, D::Error>where + D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>

source§

fn from(expr: ASTExpr<F>) -> Self

Converts to this type from the input type.
source§

impl<F, V> From<Expression<F>> for Expr<F, V>

source§

fn from(value: Expression<F>) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<bool> for Expr<F, V>

source§

fn from(value: bool) -> Self

Converts to this type from the input type.
source§

impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>

source§

fn from(value: i32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u32> for Expr<F, V>

source§

fn from(value: u32) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u64> for Expr<F, V>

source§

fn from(value: u64) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<u8> for Expr<F, V>

source§

fn from(value: u8) -> Self

Converts to this type from the input type.
source§

impl<F: From<u64>, V> From<usize> for Expr<F, V>

source§

fn from(value: usize) -> Self

Converts to this type from the input type.
source§

impl<F, V, RHS: Into<Expr<F, V>>> Mul<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the * operator.
source§

fn mul(self, rhs: RHS) -> Self

Performs the * operation. Read more
source§

impl<F, V> Neg for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the - operator.
source§

fn neg(self) -> Self

Performs the unary - operation. Read more
source§

impl<F, V, RHS: Into<Expr<F, V>>> Sub<RHS> for Expr<F, V>

§

type Output = Expr<F, V>

The resulting type after applying the - operator.
source§

fn sub(self, rhs: RHS) -> Self

Performs the - operation. Read more
source§

impl<F: Clone, V: Clone> ToExpr<F, V> for Expr<F, V>

source§

fn expr(&self) -> Expr<F, V>

Auto Trait Implementations§

§

impl<F, V> RefUnwindSafe for Expr<F, V>where F: RefUnwindSafe, V: RefUnwindSafe,

§

impl<F, V> Send for Expr<F, V>where F: Send, diff --git a/docs/chiquito/poly/trait.ToExpr.html b/docs/chiquito/poly/trait.ToExpr.html index 44040326..4fd90fbb 100644 --- a/docs/chiquito/poly/trait.ToExpr.html +++ b/docs/chiquito/poly/trait.ToExpr.html @@ -1,4 +1,4 @@ ToExpr in chiquito::poly - Rust

Trait chiquito::poly::ToExpr

source · 
pub trait ToExpr<F, V> {
     // Required method
     fn expr(&self) -> Expr<F, V>;
-}

Required Methods§

source

fn expr(&self) -> Expr<F, V>

Implementations on Foreign Types§

source§

impl<F: From<u64>, V> ToExpr<F, V> for u64

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for u32

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for u8

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for usize

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: Field + From<u64>, V> ToExpr<F, V> for i32

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for bool

source§

fn expr(&self) -> Expr<F, V>

Implementors§

source§

impl<F: Clone> ToExpr<F, Queriable<F>> for Queriable<F>

source§

impl<F: Clone, V: Clone> ToExpr<F, V> for Expr<F, V>

\ No newline at end of file +}

Required Methods§

source

fn expr(&self) -> Expr<F, V>

Implementations on Foreign Types§

source§

impl<F: From<u64>, V> ToExpr<F, V> for u8

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: Field + From<u64>, V> ToExpr<F, V> for i32

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for u64

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for bool

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for usize

source§

fn expr(&self) -> Expr<F, V>

source§

impl<F: From<u64>, V> ToExpr<F, V> for u32

source§

fn expr(&self) -> Expr<F, V>

Implementors§

source§

impl<F: Clone> ToExpr<F, Queriable<F>> for Queriable<F>

source§

impl<F: Clone, V: Clone> ToExpr<F, V> for Expr<F, V>

\ No newline at end of file diff --git a/docs/chiquito/poly/trait.ToField.html b/docs/chiquito/poly/trait.ToField.html index eaf398dd..4dfcdeb5 100644 --- a/docs/chiquito/poly/trait.ToField.html +++ b/docs/chiquito/poly/trait.ToField.html @@ -1,4 +1,4 @@ ToField in chiquito::poly - Rust

Trait chiquito::poly::ToField

source · 
pub trait ToField<F> {
     // Required method
     fn field(&self) -> F;
-}

Required Methods§

source

fn field(&self) -> F

Implementations on Foreign Types§

source§

impl<F: From<u64>> ToField<F> for u64

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u32

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u8

source§

fn field(&self) -> F

source§

impl<F: Field + From<u64>> ToField<F> for i32

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for usize

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for bool

source§

fn field(&self) -> F

Implementors§

\ No newline at end of file +}

Required Methods§

source

fn field(&self) -> F

Implementations on Foreign Types§

source§

impl<F: From<u64>> ToField<F> for usize

source§

fn field(&self) -> F

source§

impl<F: Field + From<u64>> ToField<F> for i32

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for bool

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u32

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u64

source§

fn field(&self) -> F

source§

impl<F: From<u64>> ToField<F> for u8

source§

fn field(&self) -> F

Implementors§

\ No newline at end of file diff --git a/docs/implementors/core/clone/trait.Clone.js b/docs/implementors/core/clone/trait.Clone.js index 2756a135..bdc310c0 100644 --- a/docs/implementors/core/clone/trait.Clone.js +++ b/docs/implementors/core/clone/trait.Clone.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl Clone for SingleRowCellManager"],["impl Clone for StepPlacement"],["impl<CM: Clone + CellManager, SSB: Clone + StepSelectorBuilder> Clone for CompilerConfig<CM, SSB>"],["impl Clone for StepTypeHandler"],["impl Clone for LookupTable"],["impl<F: Clone> Clone for PolyLookup<F>"],["impl<F: Clone> Clone for StepInstance<F>"],["impl Clone for TwoStepsSelectorBuilder"],["impl<F: Clone> Clone for Constraint<F>"],["impl<F: Clone> Clone for TransitionConstraint<F>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2Circuit<F>"],["impl<F: Clone, TraceArgs: Clone> Clone for Circuit<F, TraceArgs>"],["impl<F: Clone> Clone for Poly<F>"],["impl<F> Clone for LookupTableRegistry<F>"],["impl Clone for ExposeOffset"],["impl<F: Clone> Clone for Queriable<F>"],["impl Clone for SharedSignal"],["impl Clone for FixedSignal"],["impl<F: Clone, V: Clone> Clone for Expr<F, V>"],["impl<F: Clone> Clone for StepSelector<F>"],["impl<F: Clone> Clone for LookupTableStore<F>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2<F>"],["impl Clone for ForwardSignal"],["impl Clone for Column"],["impl<F, TraceArgs> Clone for TraceGenerator<F, TraceArgs>"],["impl<F: Clone, TraceArgs> Clone for AssignmentGenerator<F, TraceArgs>"],["impl Clone for InternalSignal"],["impl<F: Clone + PrimeField> Clone for ChiquitoPlaf<F>"],["impl<F: Clone> Clone for Circuit<F>"],["impl Clone for Placement"],["impl<F: Clone> Clone for Lookup<F>"],["impl Clone for SignalPlacement"],["impl<F, MappingArgs> Clone for MappingGenerator<F, MappingArgs>"],["impl Clone for Typing"],["impl<F: Clone> Clone for Constraint<F>"],["impl<CT: Clone + ColumnType> Clone for ImportedHalo2Column<CT>"],["impl Clone for ColumnType"],["impl Clone for SimpleStepSelectorBuilder"],["impl Clone for MaxWidthCellManager"]] +"chiquito":[["impl Clone for LookupTable"],["impl<F: Clone> Clone for Lookup<F>"],["impl<CT: Clone + ColumnType> Clone for ImportedHalo2Column<CT>"],["impl<F: Clone> Clone for StepInstance<F>"],["impl Clone for StepTypeHandler"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2Circuit<F>"],["impl<F: Clone, TraceArgs> Clone for AssignmentGenerator<F, TraceArgs>"],["impl<F: Clone, TraceArgs: Clone> Clone for Circuit<F, TraceArgs>"],["impl Clone for MaxWidthCellManager"],["impl Clone for ColumnType"],["impl<F: Clone + PrimeField> Clone for ChiquitoPlaf<F>"],["impl<F> Clone for LookupTableRegistry<F>"],["impl<CM: Clone + CellManager, SSB: Clone + StepSelectorBuilder> Clone for CompilerConfig<CM, SSB>"],["impl<F: Clone> Clone for LookupTableStore<F>"],["impl<F: Clone> Clone for StepSelector<F>"],["impl<F: Clone> Clone for PolyLookup<F>"],["impl<F, TraceArgs> Clone for TraceGenerator<F, TraceArgs>"],["impl<F: Clone> Clone for Circuit<F>"],["impl Clone for FixedSignal"],["impl<F, MappingArgs> Clone for MappingGenerator<F, MappingArgs>"],["impl Clone for InternalSignal"],["impl Clone for Typing"],["impl Clone for ForwardSignal"],["impl Clone for SignalPlacement"],["impl Clone for SimpleStepSelectorBuilder"],["impl<F: Clone, V: Clone> Clone for Expr<F, V>"],["impl<F: Clone> Clone for Queriable<F>"],["impl Clone for SharedSignal"],["impl Clone for Placement"],["impl Clone for SingleRowCellManager"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2<F>"],["impl<F: Clone> Clone for Constraint<F>"],["impl<F: Clone> Clone for Constraint<F>"],["impl Clone for TwoStepsSelectorBuilder"],["impl Clone for ExposeOffset"],["impl<F: Clone> Clone for TransitionConstraint<F>"],["impl Clone for StepPlacement"],["impl<F: Clone> Clone for Poly<F>"],["impl Clone for Column"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/cmp/trait.Eq.js b/docs/implementors/core/cmp/trait.Eq.js index 446d025a..b06d81e7 100644 --- a/docs/implementors/core/cmp/trait.Eq.js +++ b/docs/implementors/core/cmp/trait.Eq.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl Eq for Typing"],["impl<F: Eq> Eq for Queriable<F>"],["impl Eq for ForwardSignal"],["impl Eq for InternalSignal"],["impl<F> Eq for StepType<F>"],["impl Eq for StepTypeHandler"],["impl Eq for Column"],["impl<CT: Eq + ColumnType> Eq for ImportedHalo2Column<CT>"],["impl Eq for SharedSignal"],["impl Eq for FixedSignal"]] +"chiquito":[["impl<CT: Eq + ColumnType> Eq for ImportedHalo2Column<CT>"],["impl Eq for StepTypeHandler"],["impl Eq for Column"],["impl Eq for FixedSignal"],["impl Eq for InternalSignal"],["impl<F> Eq for StepType<F>"],["impl<F: Eq> Eq for Queriable<F>"],["impl Eq for ForwardSignal"],["impl Eq for Typing"],["impl Eq for SharedSignal"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/cmp/trait.PartialEq.js b/docs/implementors/core/cmp/trait.PartialEq.js index 7c776f4e..5cfdc240 100644 --- a/docs/implementors/core/cmp/trait.PartialEq.js +++ b/docs/implementors/core/cmp/trait.PartialEq.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl PartialEq<InternalSignal> for InternalSignal"],["impl PartialEq<Typing> for Typing"],["impl PartialEq<FixedSignal> for FixedSignal"],["impl PartialEq<StepTypeHandler> for StepTypeHandler"],["impl PartialEq<SharedSignal> for SharedSignal"],["impl PartialEq<Column> for Column"],["impl<CT: PartialEq + ColumnType> PartialEq<ImportedHalo2Column<CT>> for ImportedHalo2Column<CT>"],["impl<F> PartialEq<StepType<F>> for StepType<F>"],["impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>"],["impl PartialEq<ForwardSignal> for ForwardSignal"]] +"chiquito":[["impl<CT: PartialEq + ColumnType> PartialEq<ImportedHalo2Column<CT>> for ImportedHalo2Column<CT>"],["impl PartialEq<StepTypeHandler> for StepTypeHandler"],["impl PartialEq<Typing> for Typing"],["impl PartialEq<FixedSignal> for FixedSignal"],["impl PartialEq<SharedSignal> for SharedSignal"],["impl<F> PartialEq<StepType<F>> for StepType<F>"],["impl PartialEq<InternalSignal> for InternalSignal"],["impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>"],["impl PartialEq<ForwardSignal> for ForwardSignal"],["impl PartialEq<Column> for Column"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/convert/trait.From.js b/docs/implementors/core/convert/trait.From.js index 41efbea5..2bee7ade 100644 --- a/docs/implementors/core/convert/trait.From.js +++ b/docs/implementors/core/convert/trait.From.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: From<u64> + Debug> From<bool> for Constraint<F>"],["impl<F: From<u64>, V> From<usize> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<u32> for Constraint<F>"],["impl<F, Args, D: Fn(&mut StepInstance<F>, Args) + 'static> From<&StepTypeWGHandler<F, Args, D>> for StepTypeHandler"],["impl From<(Column, i32)> for SignalPlacement"],["impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<usize> for Constraint<F>"],["impl<F> From<Queriable<F>> for Constraint<F>"],["impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>"],["impl From<&'static str> for StepTypeDefInput"],["impl<F: From<u64> + Debug> From<u8> for Constraint<F>"],["impl<F: From<u64>, V> From<u32> for Expr<F, V>"],["impl<F, V> From<Expression<F>> for Expr<F, V>"],["impl From<StepTypeHandler> for StepTypeDefInput"],["impl<F: From<u64>, V> From<u8> for Expr<F, V>"],["impl<F: From<u64>, V> From<bool> for Expr<F, V>"],["impl<F> From<Constraint<F>> for ASTExpr<F>"],["impl<F: From<u64>, V> From<u64> for Expr<F, V>"],["impl From<SignalPlacement> for (Column, i32)"],["impl<F: From<u64> + Debug> From<u64> for Constraint<F>"],["impl<F> From<Queriable<F>> for ASTExpr<F>"],["impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>"]] +"chiquito":[["impl<F: From<u64>, V> From<u32> for Expr<F, V>"],["impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>"],["impl From<StepTypeHandler> for StepTypeDefInput"],["impl<F: From<u64> + Debug> From<u8> for Constraint<F>"],["impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>"],["impl<F: From<u64>, V> From<usize> for Expr<F, V>"],["impl<F> From<Queriable<F>> for ASTExpr<F>"],["impl<F, Args, D: Fn(&mut StepInstance<F>, Args) + 'static> From<&StepTypeWGHandler<F, Args, D>> for StepTypeHandler"],["impl From<&'static str> for StepTypeDefInput"],["impl<F: From<u64>, V> From<u8> for Expr<F, V>"],["impl From<SignalPlacement> for (Column, i32)"],["impl<F> From<Queriable<F>> for Constraint<F>"],["impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>"],["impl<F> From<Constraint<F>> for ASTExpr<F>"],["impl<F: From<u64> + Debug> From<u32> for Constraint<F>"],["impl<F: From<u64> + Debug> From<usize> for Constraint<F>"],["impl<F: From<u64>, V> From<bool> for Expr<F, V>"],["impl<F, V> From<Expression<F>> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<u64> for Constraint<F>"],["impl From<(Column, i32)> for SignalPlacement"],["impl<F: From<u64> + Debug> From<bool> for Constraint<F>"],["impl<F: From<u64>, V> From<u64> for Expr<F, V>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/default/trait.Default.js b/docs/implementors/core/default/trait.Default.js index bc0c9880..545f4f64 100644 --- a/docs/implementors/core/default/trait.Default.js +++ b/docs/implementors/core/default/trait.Default.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2Circuit<F>"],["impl Default for SimpleStepSelectorBuilder"],["impl Default for SingleRowCellManager"],["impl<F, MappingArgs> Default for MappingGenerator<F, MappingArgs>"],["impl<F> Default for InPlaceLookupBuilder<F>"],["impl<F> Default for StepSelector<F>"],["impl<F> Default for LookupTableRegistry<F>"],["impl<F> Default for LookupTableStore<F>"],["impl<F: Default> Default for StepInstance<F>"],["impl Default for MaxWidthCellManager"],["impl<F: Clone, TraceArgs> Default for AssignmentGenerator<F, TraceArgs>"],["impl<F: Default> Default for Circuit<F>"],["impl<F> Default for MappingContext<F>"],["impl<F, MappingArgs> Default for SuperCircuit<F, MappingArgs>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2<F>"],["impl<F, TraceArgs> Default for Circuit<F, TraceArgs>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2SuperCircuit<F>"],["impl<F, MappingArgs> Default for SuperCircuitContext<F, MappingArgs>"],["impl<F> Default for Lookup<F>"],["impl<F, TraceArgs> Default for TraceGenerator<F, TraceArgs>"],["impl<F: Default> Default for TraceWitness<F>"],["impl Default for TwoStepsSelectorBuilder"],["impl Default for Placement"]] +"chiquito":[["impl<F> Default for MappingContext<F>"],["impl Default for Placement"],["impl<F, MappingArgs> Default for MappingGenerator<F, MappingArgs>"],["impl<F: Default> Default for StepInstance<F>"],["impl<F, MappingArgs> Default for SuperCircuitContext<F, MappingArgs>"],["impl<F: Default> Default for Circuit<F>"],["impl Default for MaxWidthCellManager"],["impl Default for SingleRowCellManager"],["impl<F> Default for StepSelector<F>"],["impl Default for TwoStepsSelectorBuilder"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2SuperCircuit<F>"],["impl<F, TraceArgs> Default for TraceGenerator<F, TraceArgs>"],["impl<F> Default for InPlaceLookupBuilder<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2Circuit<F>"],["impl<F, TraceArgs> Default for Circuit<F, TraceArgs>"],["impl<F, MappingArgs> Default for SuperCircuit<F, MappingArgs>"],["impl<F> Default for Lookup<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2<F>"],["impl<F> Default for LookupTableRegistry<F>"],["impl<F> Default for LookupTableStore<F>"],["impl Default for SimpleStepSelectorBuilder"],["impl<F: Clone, TraceArgs> Default for AssignmentGenerator<F, TraceArgs>"],["impl<F: Default> Default for TraceWitness<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/fmt/trait.Debug.js b/docs/implementors/core/fmt/trait.Debug.js index d7aadc03..c23b6372 100644 --- a/docs/implementors/core/fmt/trait.Debug.js +++ b/docs/implementors/core/fmt/trait.Debug.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Debug> Debug for StepInstance<F>"],["impl Debug for StepTypeHandler"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2SuperCircuit<F>"],["impl Debug for ForwardSignal"],["impl Debug for InternalSignal"],["impl Debug for Column"],["impl Debug for SharedSignal"],["impl Debug for Typing"],["impl Debug for SignalPlacement"],["impl<F: Debug, V: Debug> Debug for Expr<F, V>"],["impl<F: Debug> Debug for StepSelector<F>"],["impl<F: Debug + PrimeField> Debug for ChiquitoPlaf<F>"],["impl Debug for FixedSignal"],["impl<F: Debug> Debug for Poly<F>"],["impl<F> Debug for Constraint<F>"],["impl<F: Debug, TraceArgs: Debug> Debug for Circuit<F, TraceArgs>"],["impl<F: Debug> Debug for Circuit<F>"],["impl<F: Debug> Debug for LookupTableStore<F>"],["impl<F: Debug> Debug for PolyLookup<F>"],["impl<F> Debug for Queriable<F>"],["impl Debug for StepPlacement"],["impl Debug for MaxWidthCellManager"],["impl<F: Debug, TraceArgs: Debug> Debug for CircuitContext<F, TraceArgs>"],["impl Debug for LookupTable"],["impl<F: Debug> Debug for TransitionConstraint<F>"],["impl Debug for ColumnType"],["impl Debug for Placement"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2<F>"],["impl<F: Debug> Debug for TraceWitness<F>"],["impl<CT: Debug + ColumnType> Debug for ImportedHalo2Column<CT>"],["impl Debug for TwoStepsSelectorBuilder"],["impl Debug for SimpleStepSelectorBuilder"],["impl<F: Debug> Debug for LookupTableRegistry<F>"],["impl Debug for SingleRowCellManager"],["impl<F: Debug> Debug for TraceContext<F>"],["impl<F: Debug> Debug for Constraint<F>"],["impl<F: Debug> Debug for StepType<F>"]] +"chiquito":[["impl Debug for ColumnType"],["impl<F: Debug> Debug for LookupTableRegistry<F>"],["impl Debug for Typing"],["impl Debug for MaxWidthCellManager"],["impl Debug for ForwardSignal"],["impl<F: Debug> Debug for TraceWitness<F>"],["impl<F: Debug, TraceArgs: Debug> Debug for CircuitContext<F, TraceArgs>"],["impl<F: Debug> Debug for TraceContext<F>"],["impl<F: Debug + PrimeField> Debug for ChiquitoPlaf<F>"],["impl<CT: Debug + ColumnType> Debug for ImportedHalo2Column<CT>"],["impl Debug for InternalSignal"],["impl Debug for SimpleStepSelectorBuilder"],["impl<F: Debug> Debug for StepType<F>"],["impl Debug for SignalPlacement"],["impl Debug for Column"],["impl Debug for SharedSignal"],["impl<F: Debug, TraceArgs: Debug> Debug for Circuit<F, TraceArgs>"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2<F>"],["impl<F> Debug for Constraint<F>"],["impl Debug for FixedSignal"],["impl<F: Debug> Debug for LookupTableStore<F>"],["impl<F: Debug> Debug for Poly<F>"],["impl<F: Debug> Debug for TransitionConstraint<F>"],["impl Debug for TwoStepsSelectorBuilder"],["impl Debug for SingleRowCellManager"],["impl<F: Debug> Debug for PolyLookup<F>"],["impl Debug for StepPlacement"],["impl Debug for Placement"],["impl Debug for LookupTable"],["impl Debug for StepTypeHandler"],["impl<F: Debug> Debug for Circuit<F>"],["impl<F: Debug> Debug for StepInstance<F>"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2SuperCircuit<F>"],["impl<F> Debug for Queriable<F>"],["impl<F: Debug> Debug for StepSelector<F>"],["impl<F: Debug> Debug for Constraint<F>"],["impl<F: Debug, V: Debug> Debug for Expr<F, V>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/hash/trait.Hash.js b/docs/implementors/core/hash/trait.Hash.js index 56707cd3..9ccc1cee 100644 --- a/docs/implementors/core/hash/trait.Hash.js +++ b/docs/implementors/core/hash/trait.Hash.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Hash> Hash for Queriable<F>"],["impl Hash for ColumnType"],["impl Hash for FixedSignal"],["impl Hash for InternalSignal"],["impl Hash for ForwardSignal"],["impl<F> Hash for StepType<F>"],["impl Hash for StepTypeHandler"],["impl Hash for SharedSignal"],["impl<CT: Hash + ColumnType> Hash for ImportedHalo2Column<CT>"],["impl Hash for Column"]] +"chiquito":[["impl Hash for StepTypeHandler"],["impl Hash for FixedSignal"],["impl Hash for SharedSignal"],["impl Hash for InternalSignal"],["impl<F: Hash> Hash for Queriable<F>"],["impl Hash for Column"],["impl<F> Hash for StepType<F>"],["impl Hash for ForwardSignal"],["impl Hash for ColumnType"],["impl<CT: Hash + ColumnType> Hash for ImportedHalo2Column<CT>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/marker/trait.Copy.js b/docs/implementors/core/marker/trait.Copy.js index 4c430f19..d2a77dab 100644 --- a/docs/implementors/core/marker/trait.Copy.js +++ b/docs/implementors/core/marker/trait.Copy.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl Copy for FixedSignal"],["impl Copy for SharedSignal"],["impl Copy for LookupTable"],["impl Copy for StepTypeHandler"],["impl<CT: Copy + ColumnType> Copy for ImportedHalo2Column<CT>"],["impl<F: Copy> Copy for Queriable<F>"],["impl Copy for ExposeOffset"],["impl Copy for InternalSignal"],["impl Copy for ForwardSignal"]] +"chiquito":[["impl<CT: Copy + ColumnType> Copy for ImportedHalo2Column<CT>"],["impl Copy for LookupTable"],["impl Copy for InternalSignal"],["impl Copy for ExposeOffset"],["impl<F: Copy> Copy for Queriable<F>"],["impl Copy for StepTypeHandler"],["impl Copy for ForwardSignal"],["impl Copy for SharedSignal"],["impl Copy for FixedSignal"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/marker/trait.StructuralEq.js b/docs/implementors/core/marker/trait.StructuralEq.js index cc61f7e4..00c2a302 100644 --- a/docs/implementors/core/marker/trait.StructuralEq.js +++ b/docs/implementors/core/marker/trait.StructuralEq.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl StructuralEq for Typing"],["impl StructuralEq for FixedSignal"],["impl<F> StructuralEq for Queriable<F>"],["impl StructuralEq for ForwardSignal"],["impl StructuralEq for StepTypeHandler"],["impl StructuralEq for InternalSignal"],["impl<CT: ColumnType> StructuralEq for ImportedHalo2Column<CT>"],["impl StructuralEq for SharedSignal"]] +"chiquito":[["impl StructuralEq for FixedSignal"],["impl StructuralEq for StepTypeHandler"],["impl<CT: ColumnType> StructuralEq for ImportedHalo2Column<CT>"],["impl StructuralEq for Typing"],["impl StructuralEq for SharedSignal"],["impl StructuralEq for ForwardSignal"],["impl<F> StructuralEq for Queriable<F>"],["impl StructuralEq for InternalSignal"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/marker/trait.StructuralPartialEq.js b/docs/implementors/core/marker/trait.StructuralPartialEq.js index 9df400ba..06f12142 100644 --- a/docs/implementors/core/marker/trait.StructuralPartialEq.js +++ b/docs/implementors/core/marker/trait.StructuralPartialEq.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F> StructuralPartialEq for Queriable<F>"],["impl StructuralPartialEq for StepTypeHandler"],["impl StructuralPartialEq for InternalSignal"],["impl StructuralPartialEq for FixedSignal"],["impl<CT: ColumnType> StructuralPartialEq for ImportedHalo2Column<CT>"],["impl StructuralPartialEq for SharedSignal"],["impl StructuralPartialEq for Typing"],["impl StructuralPartialEq for ForwardSignal"]] +"chiquito":[["impl StructuralPartialEq for SharedSignal"],["impl StructuralPartialEq for Typing"],["impl StructuralPartialEq for FixedSignal"],["impl StructuralPartialEq for StepTypeHandler"],["impl<F> StructuralPartialEq for Queriable<F>"],["impl<CT: ColumnType> StructuralPartialEq for ImportedHalo2Column<CT>"],["impl StructuralPartialEq for InternalSignal"],["impl StructuralPartialEq for ForwardSignal"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/ops/arith/trait.Add.js b/docs/implementors/core/ops/arith/trait.Add.js index c54ea1db..cc469c3e 100644 --- a/docs/implementors/core/ops/arith/trait.Add.js +++ b/docs/implementors/core/ops/arith/trait.Add.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Clone, RHS: Into<ASTExpr<F>>> Add<RHS> for Queriable<F>"],["impl<F, V, RHS: Into<Expr<F, V>>> Add<RHS> for Expr<F, V>"]] +"chiquito":[["impl<F, V, RHS: Into<Expr<F, V>>> Add<RHS> for Expr<F, V>"],["impl<F: Clone, RHS: Into<ASTExpr<F>>> Add<RHS> for Queriable<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/ops/arith/trait.Neg.js b/docs/implementors/core/ops/arith/trait.Neg.js index f7956875..46a823a6 100644 --- a/docs/implementors/core/ops/arith/trait.Neg.js +++ b/docs/implementors/core/ops/arith/trait.Neg.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Clone> Neg for Queriable<F>"],["impl<F, V> Neg for Expr<F, V>"]] +"chiquito":[["impl<F, V> Neg for Expr<F, V>"],["impl<F: Clone> Neg for Queriable<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/core/ops/arith/trait.Sub.js b/docs/implementors/core/ops/arith/trait.Sub.js index fb536aa5..7f76f14a 100644 --- a/docs/implementors/core/ops/arith/trait.Sub.js +++ b/docs/implementors/core/ops/arith/trait.Sub.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Clone, RHS: Into<ASTExpr<F>>> Sub<RHS> for Queriable<F>"],["impl<F, V, RHS: Into<Expr<F, V>>> Sub<RHS> for Expr<F, V>"]] +"chiquito":[["impl<F, V, RHS: Into<Expr<F, V>>> Sub<RHS> for Expr<F, V>"],["impl<F: Clone, RHS: Into<ASTExpr<F>>> Sub<RHS> for Queriable<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js b/docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js index d91333c7..41f8ae4b 100644 --- a/docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js +++ b/docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2Circuit<F>"],["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2SuperCircuit<F>"]] +"chiquito":[["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2Circuit<F>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/implementors/serde/de/trait.Deserialize.js b/docs/implementors/serde/de/trait.Deserialize.js index 5dce092e..f2dff723 100644 --- a/docs/implementors/serde/de/trait.Deserialize.js +++ b/docs/implementors/serde/de/trait.Deserialize.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<'de> Deserialize<'de> for FixedSignal"],["impl<'de> Deserialize<'de> for ExposeOffset"],["impl<'de> Deserialize<'de> for Queriable<Fr>"],["impl<'de> Deserialize<'de> for Circuit<Fr, ()>"],["impl<'de> Deserialize<'de> for Constraint<Fr>"],["impl<'de> Deserialize<'de> for TransitionConstraint<Fr>"],["impl<'de> Deserialize<'de> for TraceWitness<Fr>"],["impl<'de> Deserialize<'de> for InternalSignal"],["impl<'de> Deserialize<'de> for StepInstance<Fr>"],["impl<'de> Deserialize<'de> for ForwardSignal"],["impl<'de> Deserialize<'de> for StepTypeHandler"],["impl<'de> Deserialize<'de> for SharedSignal"],["impl<'de> Deserialize<'de> for StepType<Fr>"],["impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>"]] +"chiquito":[["impl<'de> Deserialize<'de> for StepType<Fr>"],["impl<'de> Deserialize<'de> for SharedSignal"],["impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>"],["impl<'de> Deserialize<'de> for StepTypeHandler"],["impl<'de> Deserialize<'de> for StepInstance<Fr>"],["impl<'de> Deserialize<'de> for TransitionConstraint<Fr>"],["impl<'de> Deserialize<'de> for ForwardSignal"],["impl<'de> Deserialize<'de> for Constraint<Fr>"],["impl<'de> Deserialize<'de> for FixedSignal"],["impl<'de> Deserialize<'de> for TraceWitness<Fr>"],["impl<'de> Deserialize<'de> for ExposeOffset"],["impl<'de> Deserialize<'de> for InternalSignal"],["impl<'de> Deserialize<'de> for Circuit<Fr, ()>"],["impl<'de> Deserialize<'de> for Queriable<Fr>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/docs/search-index.js b/docs/search-index.js index 1cf7de89..6f9eea00 100644 --- a/docs/search-index.js +++ b/docs/search-index.js @@ -1,5 +1,5 @@ var searchIndex = JSON.parse('{\ -"chiquito":{"doc":"","t":"AAAAAAAGDDENGDDGDGDNDDNDGDLLLLLLLLLLLMMMMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMLLLLLLLMMMMMMMLLLLLLLLLMLLLLLLLLLLLLLLMMLLLLLLMLLLLLLLLLLLLLLLLLLLLLLMMMLLLLLLLLLLMLLMALLMMMLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNNNNNENNNLLLLLLLLLLLLLLLLLLLLLLLLLLLLLISSKAADNDEDDDNLMMLLLLLLLLLLLLAFLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLALLLLLLLLLALLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMNNDENFFMLLLLLLLLLLLLLLFLMLLLLLLLLLLLLFLLLLFFFFFFFFFLLLLLLLLMFLLFFDIDDDDLLLLLLLLLLLLLLLKLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLFLLLLRFFAAAAADDDLLLLLLFFLLLLLLLLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLFLLLLLLLLLLLLLLLLDDLLLLFLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLALLFFFFLLLLLLALLLLLIDDDDDMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLMLLLLLMLLLLLLLLLLLLLLLLLLLLLKLLMLMLMLLLLLLLLLLLLLLLLLLLLLLLLLGDDIDLLLLLLKLLLLLLLLMLLLLLLLLLLLLLLLLLLLMMLLLLLLLLMMMLLLLLLLLLLLLLLLLNDDENNNDGDLMMMAMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLMMMLMLLLLLLLLLLMMLLMLLLLLLLLLLMLLMMALLALLLLLLLLLLLLLLLLLLLLLLLLLLDGLLLLLLLLLLLLLLLLLLLLLGGDDGDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNENNNNNNIILLLLLLLLLKLKLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLLLGDDGDDDGLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLL","n":["ast","field","frontend","plonkish","poly","stdlib","wit_gen","ASTExpr","Circuit","Constraint","ExposeOffset","First","FixedGen","FixedSignal","ForwardSignal","ImportedHalo2Advice","ImportedHalo2Column","ImportedHalo2Fixed","InternalSignal","Last","Lookup","SharedSignal","Step","StepType","StepTypeUUID","TransitionConstraint","add","add_constr","add_fixed","add_forward","add_halo2_advice","add_halo2_fixed","add_shared","add_signal","add_step_type","add_step_type_def","add_transition","annotation","annotation","annotation","annotations","annotations","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","column","constraints","default","default","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","enable","enable","eq","eq","eq","eq","eq","eq","expose","exposed","expr","expr","exprs","first_step","fixed_gen","fixed_signals","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","forward_signals","from","from","from","from","from","from","from","from","from","from","from","from","from","get_step_type","halo2_advice","halo2_fixed","hash","hash","hash","hash","hash","hash","id","init","init","init","init","init","init","init","init","init","init","init","into","into","into","into","into","into","into","into","into","into","into","last_step","lookups","name","new","new","new","new","new_with_id","new_with_id","new_with_id","new_with_id","new_with_phase","new_with_phase","num_steps","phase","phase","q_enable","query","set_fixed_gen","set_trace","shared_signals","signals","step_types","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","trace","transition_constraints","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","uuid","uuid","uuid","uuid","uuid","uuid","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","Fixed","Forward","Halo2AdviceQuery","Halo2FixedQuery","Internal","Queriable","Shared","StepTypeNext","_unaccessible","add","annotation","borrow","borrow_mut","clone","clone_into","deref","deref_mut","deserialize","drop","eq","expr","fmt","from","hash","init","into","mul","neg","next","prev","rot","sub","to_owned","try_from","try_into","type_id","uuid","vzip","Field","ONE","ZERO","mi","dsl","python","CircuitContext","Handler","StepTypeContext","StepTypeDefInput","StepTypeHandler","StepTypeSetupContext","StepTypeWGHandler","String","add_lookup","annotation","annotation","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","cb","circuit","clone","clone_into","constr","constr","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","drop","drop","drop","drop","drop","drop","eq","expose","fixed","fixed_gen","fmt","fmt","forward","forward_with_phase","from","from","from","from","from","from","from","from","from","hash","import_halo2_advice","import_halo2_fixed","init","init","init","init","init","init","internal","into","into","into","into","into","into","lb","new","new","new_table","new_with_id","next","pragma_disable_q_enable","pragma_first_step","pragma_last_step","pragma_num_steps","sc","setup","shared","shared_with_phase","step_type","step_type_def","to_owned","trace","transition","transition","try_from","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","type_id","uuid","uuid","vzip","vzip","vzip","vzip","vzip","vzip","wg","wg","AntiBooly","Boolean","Constraint","Typing","Unknown","and","annotate","annotation","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","deref","deref","deref_mut","deref_mut","drop","drop","eq","eq","expr","fmt","fmt","from","from","from","from","from","from","from","from","from","from","if_next_step","init","init","into","into","isz","lookup","next_step_must_be","next_step_must_not_be","not","or","rlc","select","table","to_owned","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","typing","unless","vzip","vzip","when","xor","InPlaceLookupBuilder","LookupBuilder","LookupTable","LookupTableBuilder","LookupTableRegistry","LookupTableStore","add","add","add","apply","apply","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","build","build","build","clone","clone","clone","clone_into","clone_into","clone_into","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","enable","fmt","fmt","fmt","from","from","from","from","from","get","init","init","init","init","init","into","into","into","into","into","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","uuid","vzip","vzip","vzip","vzip","vzip","when","when","SuperCircuitContext","borrow","borrow_mut","default","deref","deref_mut","drop","from","init","into","mapping","sub_circuit","super_circuit","try_from","try_into","type_id","vzip","CIRCUIT_MAP","chiquito_ast_to_halo2","chiquito_halo2_mock_prover","backend","compiler","ir","halo2","plaf","ChiquitoHalo2","ChiquitoHalo2Circuit","ChiquitoHalo2SuperCircuit","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","chiquito2Halo2","chiquitoSuperCircuit2Halo2","clone","clone","clone_into","clone_into","configure","configure","configure","configure_sub_circuit","configure_with_params","configure_with_params","debug","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","fmt","fmt","from","from","from","init","init","init","instance","instance","into","into","into","new","new","new","params","params","synthesize","synthesize","synthesize","to_halo2_advice","to_owned","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","vzip","vzip","vzip","without_witnesses","without_witnesses","ChiquitoPlaf","ChiquitoPlafWitGen","borrow","borrow","borrow_mut","borrow_mut","chiquito2Plaf","clone","clone_into","deref","deref","deref_mut","deref_mut","drop","drop","fmt","from","from","generate","get_plaf","init","init","into","into","new","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","vzip","vzip","CompilerConfig","borrow","borrow_mut","cell_manager","clone","clone_into","compile","compile_phase1","compile_phase2","config","deref","deref_mut","drop","from","init","into","step_selector","to_owned","try_from","try_into","type_id","vzip","CellManager","MaxWidthCellManager","Placement","SignalPlacement","SingleRowCellManager","StepPlacement","base_height","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","column","columns","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","find_internal_signal_placement","first_step_height","fixed","fmt","fmt","fmt","fmt","fmt","forward","from","from","from","from","from","from","get_fixed_placement","get_forward_placement","get_shared_placement","init","init","init","init","init","into","into","into","into","into","new","new","place","place","place","rotation","same_height","shared","step_height","steps","to_owned","to_owned","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip","SelectorAssignment","SimpleStepSelectorBuilder","StepSelector","StepSelectorBuilder","TwoStepsSelectorBuilder","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","build","build","build","clone","clone","clone","clone_into","clone_into","clone_into","columns","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","fmt","fmt","fmt","from","from","from","get_selector_assignment","halo2_column","hint_one","init","init","init","into","into","into","next_expr","select","selector_assignment","selector_expr","selector_expr_not","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","unselect","vzip","vzip","vzip","Advice","Circuit","Column","ColumnType","Fixed","Halo2Advice","Halo2Fixed","Poly","PolyExpr","PolyLookup","advice","annotation","annotation","annotation","assignments","ast_id","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","columns","ctype","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","eq","exposed","expr","exprs","fixed","fixed_assignments","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","halo2_advice","halo2_fixed","hash","hash","id","init","init","init","init","init","into","into","into","into","into","lookups","new_halo2_advice","new_halo2_fixed","phase","polys","query","query","rotate","sc","to_owned","to_owned","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","uuid","vzip","vzip","vzip","vzip","vzip","AssignmentGenerator","Assignments","borrow","borrow_mut","clone","clone_into","default","deref","deref_mut","drop","empty","from","generate","generate_with_witness","init","into","new","to_owned","try_from","try_into","type_id","uuid","vzip","Queriable","Mapping","MappingContext","MappingGenerator","SuperAssignments","SuperCircuit","add_sub_circuit","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","clone","clone_into","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","from","from","from","generate","get_mapping","get_sub_circuits","init","init","init","into","into","into","map","new","set_mapping","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","vzip","vzip","vzip","Const","Expr","Halo2Expr","Mul","Neg","Pow","Query","Sum","ToExpr","ToField","add","borrow","borrow_mut","clone","clone_into","deref","deref_mut","deserialize","drop","expr","expr","field","fmt","from","from","from","from","from","from","from","from","init","into","mul","neg","rotate","sub","to_owned","try_from","try_into","type_id","vzip","IsZero","borrow","borrow_mut","deref","deref_mut","drop","from","init","into","is_zero","setup","try_from","try_into","type_id","vzip","wg","FixedAssignment","FixedGenContext","StepInstance","Trace","TraceContext","TraceGenerator","TraceWitness","Witness","add","assign","assign","assignments","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","deserialize","drop","drop","drop","drop","drop","fmt","fmt","fmt","from","from","from","from","from","generate","get_assignments","get_witness","init","init","init","init","init","into","into","into","into","into","new","new","new","new","padding","step_instances","step_type_uuid","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip"],"q":[[0,"chiquito"],[7,"chiquito::ast"],[286,"chiquito::ast::query"],[324,"chiquito::field"],[328,"chiquito::frontend"],[330,"chiquito::frontend::dsl"],[459,"chiquito::frontend::dsl::cb"],[524,"chiquito::frontend::dsl::lb"],[618,"chiquito::frontend::dsl::sc"],[635,"chiquito::frontend::python"],[638,"chiquito::plonkish"],[641,"chiquito::plonkish::backend"],[643,"chiquito::plonkish::backend::halo2"],[715,"chiquito::plonkish::backend::plaf"],[749,"chiquito::plonkish::compiler"],[771,"chiquito::plonkish::compiler::cell_manager"],[881,"chiquito::plonkish::compiler::step_selector"],[950,"chiquito::plonkish::ir"],[1070,"chiquito::plonkish::ir::assignments"],[1093,"chiquito::plonkish::ir::query"],[1094,"chiquito::plonkish::ir::sc"],[1148,"chiquito::poly"],[1190,"chiquito::stdlib"],[1206,"chiquito::wit_gen"]],"d":["","","","","","","","","Circuit","Condition","","","","","ForwardSignal","","","","","","","","","Step","","TransitionCondition","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","","","","","","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","Calls U::from(self).","","","Call next function on a Querible forward signal to build …","Call prev function on a Querible shared signal to build …","Call rot function on a Querible shared signal to build …","","","","","","","","","The one element of the field, the multiplicative identity.","The zero element of the field, the additive identity.","Computes the multiplicative inverse of this element, …","","","A generic structure designed to handle the context of a …","","A generic structure designed to handle the context of a …","","","","","","Adds a lookup to the step type.","","","","","","","","","","","","","","","","Creates a Circuit instance by providing a name and a …","","","DEPRECATED","Adds a constraint to the step type. Involves internal …","","","","","","","","","","","","","","","","","","","","","Exposes the first step instance value of a forward signal …","","Sets the fixed generation function for the circuit. The …","","","Adds a forward signal to the circuit with a name string …","Adds a forward signal to the circuit with a name string …","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","Returns the argument unchanged.","","Imports a halo2 advice column with a name string into the …","Imports a halo2 fixed column with a name string into the …","","","","","","","Adds an internal signal to the step type with the given …","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","Enforce the type of the first step by adding a constraint …","Enforce the type of the last step by adding a constraint …","","","Define step constraints.","Adds a shared signal to the circuit with a name string and …","Adds a shared signal to the circuit with a name string and …","Adds a new step type with the specified name to the …","Defines a step type using the provided StepTypeHandler and …","","Sets the trace function that builds the witness. The trace …","DEPRECATED","Adds a transition constraint to the step type. It’s the …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Represents a constraint with an associated annotation and …","","","Takes an iterator of input constraints and returns a new …","Takes a string annotation and an expression, and returns a …","","","","","","","","","","","","","","","","Takes two constraints and returns a new constraint …","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Takes a StepTypeHandler and a constraint, and returns a …","","","Calls U::from(self).","Calls U::from(self).","Takes a constraint and returns a new constraint …","Creates a new empty LookupBuilder object and returns it. …","Takes a StepTypeHandler and returns a new constraint that …","Takes a StepTypeHandler and returns a new constraint that …","Takes a constraint and returns a new constraint …","Takes an iterator of input constraints and returns a new …","Computes the randomized linear combination of the given …","Takes a selector constraint and two other constraints, and …","","","","","","","","","","","Takes a selector constraint and a when_false constraint, …","","","Takes a selector constraint and a when_true constraint, …","Takes two expressions and returns a new expression …","A helper struct for building lookup tables.","","","","","","Adds a source column-lookup column pair to the lookup …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Adds a selector column specific to the lookup table. …","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","Adds a selector column specific to the lookup table. …","Adds a selector column specific to the lookup table. …","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","","","","","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","","","","","","","Calls U::from(self).","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","A struct that can be used a fixed column generation …","A struct that represents a witness generation context. It …","","","","","","","Takes a Queriable object representing the fixed column …","Takes a Queriable object representing the witness column …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","",""],"i":[0,0,0,0,0,0,0,0,0,0,0,24,0,0,0,0,0,0,0,24,0,0,24,0,0,0,3,6,7,7,7,7,7,6,7,7,6,22,23,3,6,7,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,7,22,23,3,11,18,9,24,19,26,7,22,23,3,11,18,9,24,19,26,26,6,7,3,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,11,18,9,24,19,6,7,22,23,3,11,18,9,24,19,26,3,3,6,11,18,9,19,26,7,7,22,23,3,7,7,7,6,7,22,23,11,18,9,19,26,7,6,5,5,7,22,23,3,11,18,9,24,19,26,7,7,7,6,11,18,9,19,26,7,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,7,6,6,6,9,19,26,11,18,9,19,11,18,7,11,18,7,0,7,7,7,6,7,7,22,23,3,11,18,9,24,19,26,7,6,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,11,18,9,19,26,6,7,22,23,3,11,18,9,24,19,26,32,32,32,32,32,0,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,0,58,58,58,0,0,0,47,0,0,0,0,0,47,43,48,20,47,45,43,48,46,20,47,45,43,48,46,20,0,0,20,20,45,43,47,45,43,48,46,20,47,45,43,48,46,20,20,47,45,43,48,46,20,20,46,46,46,46,20,46,46,47,47,47,45,43,48,46,20,20,20,46,46,47,45,43,48,46,20,45,47,45,43,48,46,20,0,45,48,46,20,20,46,46,46,46,0,45,46,46,46,46,20,46,45,43,47,45,43,48,46,20,47,45,43,48,46,20,47,45,43,48,46,20,48,20,47,45,43,48,46,20,45,48,56,56,0,0,56,0,0,35,35,56,35,56,35,56,35,56,35,56,35,56,35,56,0,56,35,35,56,35,35,35,35,35,35,35,35,35,56,0,35,56,35,56,0,0,0,0,0,0,0,0,0,35,56,35,56,35,56,35,56,35,0,35,56,0,0,0,0,0,0,0,0,60,50,49,62,51,60,62,50,49,51,60,62,50,49,51,44,60,62,50,49,51,50,49,51,60,50,49,60,62,50,49,51,60,62,50,49,51,60,62,50,49,51,60,50,49,51,60,62,50,49,51,49,60,62,50,49,51,60,62,50,49,51,50,49,51,60,62,50,49,51,60,62,50,49,51,60,62,50,49,51,50,60,62,50,49,51,62,51,0,63,63,63,63,63,63,63,63,63,63,63,0,63,63,63,63,0,0,0,0,0,0,0,0,0,0,0,70,72,74,70,72,74,0,0,70,72,70,72,70,72,74,70,72,74,70,70,72,74,70,72,74,70,72,74,70,72,74,70,74,70,72,74,70,72,74,72,74,70,72,74,70,72,74,72,74,70,72,74,0,70,72,70,72,74,70,72,74,70,72,74,70,72,74,72,74,0,0,83,82,83,82,0,82,82,83,82,83,82,83,82,82,83,82,83,82,83,82,83,82,82,82,83,82,83,82,83,82,83,82,0,66,66,0,66,66,0,0,0,0,66,66,66,66,66,66,0,66,66,66,66,66,0,0,0,0,0,0,88,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,86,88,88,89,90,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,88,88,88,86,87,88,89,90,88,86,86,87,88,89,90,88,88,88,86,87,88,89,90,86,87,88,89,90,86,90,64,89,90,86,88,88,88,88,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,0,0,0,0,0,93,91,92,93,91,92,65,91,92,93,91,92,93,91,92,93,93,91,92,93,91,92,93,91,92,93,91,92,93,91,92,93,91,92,93,92,92,93,91,92,93,91,92,93,93,93,93,93,93,91,92,93,91,92,93,91,92,93,91,92,93,93,91,92,96,0,0,0,96,96,96,0,0,0,80,80,97,98,0,69,69,96,80,97,98,69,96,80,97,98,69,96,80,97,98,69,96,80,97,98,69,80,69,69,96,80,97,98,69,96,80,97,98,69,96,80,97,98,80,69,97,98,80,69,69,96,80,97,98,69,96,80,97,98,80,80,96,80,69,69,96,80,97,98,69,96,80,97,98,69,80,80,80,69,0,80,95,0,69,96,80,97,98,69,96,80,97,98,69,96,80,97,98,69,96,80,97,98,80,69,96,80,97,98,0,0,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,0,0,0,0,0,0,67,67,103,102,67,103,102,102,102,67,103,102,67,103,102,67,103,102,67,103,102,67,103,102,102,67,67,67,103,102,67,103,102,103,102,67,102,67,103,102,67,103,102,67,103,102,67,103,102,105,0,105,105,105,105,105,105,0,0,105,105,105,105,105,105,105,105,105,114,105,115,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,0,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,0,0,0,0,0,0,0,0,110,111,109,109,101,111,109,100,110,101,111,109,100,110,101,109,101,109,101,109,100,101,111,109,100,110,101,111,109,100,110,109,100,101,111,109,100,110,109,100,110,101,111,109,100,110,101,111,110,101,111,109,100,110,101,111,109,100,110,101,111,109,110,110,100,109,101,109,101,111,109,100,110,101,111,109,100,110,101,111,109,100,110,101,111,109,100,110],"f":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,[[[3,[[0,[1,2]]]],4,[5,[[0,[1,2]]]],[5,[[0,[1,2]]]]]],[[6,4,5]],[[7,[8,[4]]],9],[[7,[8,[4]],10],11],[[7,12,[14,[13]]],15],[[7,12,[14,[16]]],17],[[7,[8,[4]],10],18],[[6,[8,[4]]],19],[[7,20,[8,[4]]]],[[7,6],21],[[6,4,5]],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[7,[2,2]]],[[7,[2,2]]]],[[[22,[2]]],[[22,[2]]]],[[[23,[2]]],[[23,[2]]]],[[[3,[2]]],[[3,[2]]]],[11,11],[18,18],[9,9],[24,24],[19,19],[[[26,[[0,[2,25]]]]],[[26,[[0,[2,25]]]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,[[],7],[[],3],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[6,[28]]]]]],[27,[[29,[[7,[28]]]]]],[27,[[29,[[22,[28]]]]]],[27,[[29,[[23,[28]]]]]],[27,[[29,[11]]]],[27,[[29,[18]]]],[27,[[29,[9]]]],[27,[[29,[24]]]],[27,[[29,[19]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[3,[[0,[1,2]]]],4,[5,[[0,[1,2]]]]]],0,[[6,6],30],[[11,11],30],[[18,18],30],[[9,9],30],[[19,19],30],[[[26,[[0,[31,25]]]],[26,[[0,[31,25]]]]],30],[[7,32,24]],0,0,0,0,0,0,0,[[[6,[1]],33],34],[[[7,[1,1]],33],34],[[[22,[1]],33],34],[[[23,[1]],33],34],[[11,33],34],[[18,33],34],[[9,33],34],[[19,33],34],[[[26,[[0,[1,25]]]],33],34],0,[[]],[32,5],[35,5],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[7,36],[[37,[6]]]],0,0,[[6,38]],[[11,38]],[[18,38]],[[9,38]],[[19,38]],[[[26,[[0,[39,25]]]],38]],0,[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,0,[[36,4],6],[4,9],[4,19],[[[14,[25]],4],[[26,[25]]]],[[36,10,4],11],[[36,10,4],18],[[36,4],9],[[36,4],19],[[10,4],11],[[10,4],18],0,[11,10],[18,10],0,0,[[7,40]],[[7,40]],0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[6,21],[11,36],[18,36],[9,36],[19,36],[[[26,[25]]],36],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,[[[32,[2]],[8,[[5,[2]]]]]],[32,4],[[]],[[]],[[[32,[2]]],[[32,[2]]]],[[]],[10],[10],[27,[[29,[[32,[28]]]]]],[10],[[[32,[31]],[32,[31]]],30],[[[32,[2]]],[[5,[2]]]],[[32,33],34],[[]],[[[32,[39]],38]],[[],10],[[]],[[[32,[2]],[8,[[5,[2]]]]]],[[[32,[2]]]],[32,32],[32,32],[[32,42],32],[[[32,[2]],[8,[[5,[2]]]]]],[[]],[[],29],[[],29],[[],41],[32,36],[[]],0,0,0,[[]],0,0,0,0,0,0,0,0,0,0,[[[43,[[0,[1,2]]]],[44,[[0,[1,2]]]]]],0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,[[12,40],7],[20,20],[[]],[[45,[8,[35]]]],[[43,[8,[35]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[20]]]],[10],[10],[10],[10],[10],[10],[[20,20],30],[[46,32,24]],[[46,12],32],[[46,40]],[[[46,[1,1]],33],34],[[20,33],34],[[46,12],32],[[46,12,10],32],[20,47],[12,47],[[]],[[]],[[]],[[]],[[]],[[[48,[40]]],20],[[]],[[20,38]],[[46,12,[14,[13]]],32],[[46,12,[14,[16]]],32],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[45,12],32],[[]],[[]],[[]],[[]],[[]],[[]],0,[[36,4,49],45],[[36,12,40],[[48,[40]]]],[[46,50],51],[[36,4],20],[20,32],[46],[[46,[8,[20]]]],[[46,[8,[20]]]],[[46,10]],0,[[45,40]],[[46,12],32],[[46,12,10],32],[[46,12],20],[[46,[8,[47]],52],[[48,[40]]]],[[]],[[46,40]],[[45,[8,[35]]]],[[43,[8,[35]]]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[[48,[40]]],36],[20,36],[[]],[[]],[[]],[[]],[[]],[[]],[[45,40],[[48,[40]]]],0,0,0,0,0,0,[53,[[35,[[55,[54]]]]]],[[4,[8,[5]],56],35],0,[[]],[[]],[[]],[[]],[[[35,[2]]],[[35,[2]]]],[56,56],[[]],[[]],[10],[10],[10],[10],[10],[10],[[[8,[35]],[8,[35]]],35],[[56,56],30],0,[[35,33],34],[[56,33],34],[30,[[35,[[0,[[55,[54]],1]]]]]],[57,[[35,[[0,[[55,[54]],1]]]]]],[42,[[35,[[0,[58,[55,[54]],1]]]]]],[59,[[35,[[0,[[55,[54]],1]]]]]],[32,35],[[[5,[1]]],[[35,[1]]]],[10,[[35,[[0,[[55,[54]],1]]]]]],[54,[[35,[[0,[[55,[54]],1]]]]]],[[]],[[]],[[[8,[20]],[8,[[35,[2]]]]],[[35,[2]]]],[[],10],[[],10],[[]],[[]],[[[8,[35]]],35],[[],[[60,[[0,[1,2]]]]]],[[[8,[20]]],[[35,[[55,[54]]]]]],[[[8,[20]]],[[35,[[55,[54]]]]]],[[[8,[[35,[[55,[54]]]]]]],[[35,[[55,[54]]]]]],[[[0,[53,2]]],[[35,[[0,[[55,[54]],1]]]]]],[[[0,[[8,[[5,[[55,[54]]]]]],2]]],[[5,[[55,[54]]]]]],[[[8,[[35,[[0,[[55,[54]],2]]]]]],[8,[[35,[[0,[[55,[54]],2]]]]]],[8,[[35,[[0,[[55,[54]],2]]]]]]],[[35,[[0,[[55,[54]],2]]]]]],[[],[[50,[61]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],0,[[[8,[[35,[[0,[[55,[54]],2]]]]]],[8,[[35,[[0,[[55,[54]],2]]]]]]],[[35,[[0,[[55,[54]],2]]]]]],[[]],[[]],[[[8,[[35,[[0,[[55,[54]],2]]]]]],[8,[[35,[[0,[[55,[54]],2]]]]]]],[[35,[[0,[[55,[54]],2]]]]]],[[[8,[[35,[[0,[[55,[54]],2]]]]]],[8,[[35,[[0,[[55,[54]],2]]]]]]],[[35,[[0,[[55,[54]],2]]]]]],0,0,0,0,0,0,[[[60,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]],[8,[[5,[[0,[1,2]]]]]]],[[60,[[0,[1,2]]]]]],[[50,[8,[5]]],50],[[49,50]],[[62,[8,[35]]],62],[[51,[8,[35]]],62],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[43,3],[[60,43],3],[[[62,[[0,[2,1]]]],[43,[[0,[2,1]]]]],[[3,[[0,[2,1]]]]]],[[[50,[2]]],[[50,[2]]]],[49,49],[51,51],[[]],[[]],[[]],[[],60],[[],50],[[],49],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[60,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]]],[[60,[[0,[1,2]]]]]],[[[50,[1]],33],34],[[[49,[1]],33],34],[[51,33],34],[[]],[[]],[[]],[[]],[[]],[[[49,[2]],36],[[50,[2]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[50,36],[[]],[[]],[[]],[[]],[[]],[[62,[8,[35]]],62],[[51,[8,[35]]],62],0,[[]],[[]],[[],63],[10],[10],[10],[[]],[[],10],[[]],[[[63,[[0,[58,39]]]],40]],[[[63,[[0,[58,39]]]],[66,[64,65]],40]],[[12,40],[[67,[[0,[58,39]]]]]],[[],29],[[],29],[[],41],[[]],0,[12,36],[[12,36]],0,0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[69,[[0,[68,[55,[54]],39]]]]],[[70,[[0,[68,[55,[54]],39]]]]]],[[[67,[[0,[68,[55,[54]],39]]]]],[[71,[[70,[[0,[68,[55,[54]],39]]]]]]]],[[[70,[[0,[2,68,[55,[54]]]]]]],[[70,[[0,[2,68,[55,[54]]]]]]]],[[[72,[[0,[2,68,[55,[54]]]]]]],[[72,[[0,[2,68,[55,[54]]]]]]]],[[]],[[]],[[[70,[[0,[68,[55,[54]],39]]]],[73,[[0,[68,[55,[54]],39]]]]]],[[[73,[[0,[68,[55,[54]],39]]]]]],[[[73,[[0,[68,[55,[54]],39]]]]]],[[[70,[[0,[68,[55,[54]],39]]]],[73,[[0,[68,[55,[54]],39]]]]]],[[[73,[[0,[68,[55,[54]],39]]]]]],[[[73,[[0,[68,[55,[54]],39]]]]]],0,[[],[[70,[[0,[61,68,[55,[54]]]]]]]],[[],[[72,[[0,[61,68,[55,[54]]]]]]]],[[],[[74,[[0,[61,68,[55,[54]]]]]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[70,[[0,[1,68,[55,[54]]]]]],33],34],[[[74,[[0,[1,68,[55,[54]]]]]],33],34],[[]],[[]],[[]],[[],10],[[],10],[[],10],[[[72,[[0,[68,[55,[54]],39]]]]],[[71,[[71,[[0,[68,[55,[54]],39]]]]]]]],[[[74,[[0,[68,[55,[54]],39]]]]],[[71,[[71,[[0,[68,[55,[54]],39]]]]]]]],[[]],[[]],[[]],[[[69,[[0,[68,[55,[54]],39]]]]],[[70,[[0,[68,[55,[54]],39]]]]]],[[[70,[[0,[68,[55,[54]],39]]]],[76,[[75,[[0,[68,[55,[54]],39]]]]]]],[[72,[[0,[68,[55,[54]],39]]]]]],[[[71,[[70,[[0,[68,[55,[54]],39]]]]]],[77,[[0,[68,[55,[54]],39]]]]],[[74,[[0,[68,[55,[54]],39]]]]]],[[[72,[[0,[68,[55,[54]],39]]]]]],[[[74,[[0,[68,[55,[54]],39]]]]]],[[[70,[[0,[68,[55,[54]],39]]]],[78,[[0,[68,[55,[54]],39]]]],[76,[[75,[[0,[68,[55,[54]],39]]]]]]]],[[[72,[[0,[68,[55,[54]],39]]]],[78,[[0,[68,[55,[54]],39]]]]],[[29,[79]]]],[[[74,[[0,[68,[55,[54]],39]]]],[78,[[0,[68,[55,[54]],39]]]]],[[29,[79]]]],[[[73,[68]],80],[[14,[13]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[]],[[]],[[]],[[[72,[[0,[68,[55,[54]],39]]]]],[[72,[[0,[68,[55,[54]],39]]]]]],[[[74,[[0,[68,[55,[54]],39]]]]],[[74,[[0,[68,[55,[54]],39]]]]]],0,0,[[]],[[]],[[]],[[]],[[[69,[81]],57,30]],[[[82,[[0,[2,81]]]]],[[82,[[0,[2,81]]]]]],[[]],[10],[10],[10],[10],[10],[10],[[[82,[[0,[1,81]]]],33],34],[[]],[[]],[[83,[76,[[75,[[0,[81,39]]]]]]],84],[[[82,[81]],57],85],[[],10],[[],10],[[]],[[]],[[[69,[81]],30],[[82,[81]]]],[[]],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[]],[[]],0,[[]],[[]],0,[[[66,[[0,[2,64]],[0,[2,65]]]]],[[66,[[0,[2,64]],[0,[2,65]]]]]],[[]],[[[66,[64,65]],[7,[[0,[58,39,2]]]]]],[[[66,[64,65]],[7,[[0,[58,39,2]]]]]],[[[0,[[0,[58,2]]]]]],[[64,65],[[66,[64,65]]]],[10],[10],[10],[[]],[[],10],[[]],0,[[]],[[],29],[[],29],[[],41],[[]],0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[86,86],[87,87],[88,88],[89,89],[90,90],[[]],[[]],[[]],[[]],[[]],0,0,[[],88],[[],89],[[],90],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[88,21,19],86],[88,57],0,[[86,33],34],[[87,33],34],[[88,33],34],[[89,33],34],[[90,33],34],0,[[],86],[[]],[[]],[[]],[[]],[[]],[[88,9],[[76,[86]]]],[[88,11],[[76,[86]]]],[[88,18],[[76,[86]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[80,42],86],[[10,30],90],0,0,0,0,[88,30],0,[[88,21],57],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[[]],[[]],[[]],[[]],[[]],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[0,[58]]]],[[91,[0,[58]]]],[[92,[0,[58]]]],[[[93,[2]]],[[93,[2]]]],[91,91],[92,92],[[]],[[]],[[]],0,[[],93],[[],91],[[],92],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[93,[1]],33],34],[[91,33],34],[[92,33],34],[[]],[[]],[[]],[[[93,[2]],21],[[71,[[94,[2]]]]]],0,0,[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[93,[2]],21,57],[[95,[2]]]],[[[93,[2]],21,[95,[2]]],[[95,[2]]]],0,0,0,[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[[93,[2]],21],[[95,[2]]]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[[8,[4]],10],80],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[69,[2]]],[[69,[2]]]],[96,96],[80,80],[[[97,[2]]],[[97,[2]]]],[[[98,[2]]],[[98,[2]]]],[[]],[[]],[[]],[[]],[[]],0,0,[[],[[69,[61]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[80,80],30],0,0,0,[[[8,[4]]],80],0,[[[69,[1]],33],34],[[96,33],34],[[80,33],34],[[[97,[1]],33],34],[[[98,[1]],33],34],[[]],[[]],[[]],[[]],[[]],0,0,[[96,38]],[[80,38]],0,[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],0,[[[8,[4]],15],80],[[[8,[4]],17],80],0,0,0,[[80,42,[8,[4]]],95],[[[95,[2]],42],[[95,[2]]]],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[80,36],[[]],[[]],[[]],[[]],[[]],0,0,[[]],[[]],[[[99,[2]]],[[99,[2]]]],[[]],[[],[[99,[2]]]],[10],[10],[10],[36,[[99,[58]]]],[[]],[[[99,[58]]],[[75,[58]]]],[[[99,[58]],[100,[58]]],[[75,[58]]]],[[],10],[[]],[[[71,[80]],88,[93,[58]],[101,[58]],10,36],[[99,[58]]]],[[]],[[],29],[[],29],[[],41],[[[99,[58]]],36],[[]],0,0,0,0,0,0,[[67,69]],[[]],[[]],[[]],[[]],[[]],[[]],[102,102],[[]],[[],67],[[],103],[[],102],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[]],[[]],[[]],[[[102,[58]]],[[77,[58]]]],[67,102],[[[67,[2]]],[[71,[[69,[2]]]]]],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[103,[58]],[99,[58]]]],[[[37,[[104,[58]]]]],[[102,[58]]]],[[[67,[58]],40]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[105,[8,[105]]],105],[[]],[[]],[[[105,[2,2]]],[[105,[2,2]]]],[[]],[10],[10],[27,[[29,[[105,[28,[32,[28]]]]]]]],[10],[[],105],[[[105,[2,2]]],[[105,[2,2]]]],[[]],[[[105,[1,1]],33],34],[[]],[106,105],[42,[[105,[[0,[58,[55,[54]]]]]]]],[10,[[105,[[55,[54]]]]]],[59,[[105,[[55,[54]]]]]],[30,[[105,[[55,[54]]]]]],[57,[[105,[[55,[54]]]]]],[54,[[105,[[55,[54]]]]]],[[],10],[[]],[[105,[8,[105]]],105],[105,105],[[[105,[2]],42],[[95,[2]]]],[[105,[8,[105]]],105],[[]],[[],29],[[],29],[[],41],[[]],0,[[]],[[]],[10],[10],[10],[[]],[[],10],[[]],[[[107,[[0,[58,[55,[54]]]]]]],[[35,[[0,[58,[55,[54]]]]]]]],[[[45,[[0,[58,[55,[54]]]]]],[8,[[35,[[0,[58,[55,[54]]]]]]]],[32,[[0,[58,[55,[54]]]]]]],[[107,[[0,[58,[55,[54]]]]]]]],[[],29],[[],29],[[],41],[[]],[[[107,[[0,[58,108,39]]]],[109,[[0,[58,108,39]]]],[0,[58,108,39]]]],0,0,0,0,0,0,0,0,[[110,[48,[40]]]],[[[111,[[0,[58,39]]]],10,[32,[[0,[58,39]]]],[0,[58,39]]]],[[[109,[[0,[108,39]]]],[32,[[0,[108,39]]]],[0,[108,39]]]],0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[101,101],[[[109,[2]]],[[109,[2]]]],[[]],[[]],[[],101],[[],[[109,[61]]]],[[],[[100,[61]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[109,[28]]]]]],[27,[[29,[[100,[28]]]]]],[10],[10],[10],[10],[10],[[[109,[1]],33],34],[[[100,[1]],33],34],[[[110,[1]],33],34],[[]],[[]],[[]],[[]],[[]],[[[101,[61]]],[[100,[61]]]],[[[111,[[0,[58,39]]]]],[[112,[[0,[58,39]]]]]],[[[110,[61]]],[[100,[61]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[[37,[[113,[61]]]],10],[[101,[61]]]],[10,[[111,[[0,[58,39]]]]]],[21,109],[10,[[110,[61]]]],[[110,[48,[40]],40]],0,0,[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[[]],[[]],[[]],[[]],[[]]],"c":[],"p":[[8,"Debug"],[8,"Clone"],[3,"Lookup"],[3,"String"],[6,"ASTExpr"],[3,"StepType"],[3,"Circuit"],[8,"Into"],[3,"FixedSignal"],[15,"usize"],[3,"ForwardSignal"],[15,"str"],[3,"Advice"],[3,"Column"],[6,"ImportedHalo2Advice"],[3,"Fixed"],[6,"ImportedHalo2Fixed"],[3,"SharedSignal"],[3,"InternalSignal"],[3,"StepTypeHandler"],[6,"StepTypeUUID"],[3,"Constraint"],[3,"TransitionConstraint"],[4,"ExposeOffset"],[8,"ColumnType"],[3,"ImportedHalo2Column"],[8,"Deserializer"],[3,"Fr"],[4,"Result"],[15,"bool"],[8,"PartialEq"],[4,"Queriable"],[3,"Formatter"],[6,"Result"],[3,"Constraint"],[15,"u128"],[3,"Rc"],[8,"Hasher"],[8,"Hash"],[8,"Fn"],[3,"TypeId"],[15,"i32"],[3,"StepTypeSetupContext"],[8,"LookupBuilder"],[3,"StepTypeContext"],[3,"CircuitContext"],[4,"StepTypeDefInput"],[3,"StepTypeWGHandler"],[3,"LookupTableRegistry"],[3,"LookupTableStore"],[3,"LookupTable"],[8,"FnOnce"],[8,"IntoIterator"],[15,"u64"],[8,"From"],[4,"Typing"],[15,"u32"],[8,"Field"],[15,"u8"],[3,"InPlaceLookupBuilder"],[8,"Default"],[3,"LookupTableBuilder"],[3,"SuperCircuitContext"],[8,"CellManager"],[8,"StepSelectorBuilder"],[3,"CompilerConfig"],[3,"SuperCircuit"],[8,"Field"],[3,"Circuit"],[3,"ChiquitoHalo2"],[3,"Vec"],[3,"ChiquitoHalo2Circuit"],[3,"ConstraintSystem"],[3,"ChiquitoHalo2SuperCircuit"],[6,"Assignments"],[4,"Option"],[6,"SuperAssignments"],[8,"Layouter"],[4,"Error"],[3,"Column"],[8,"PrimeField"],[3,"ChiquitoPlaf"],[3,"ChiquitoPlafWitGen"],[3,"Witness"],[3,"Plaf"],[3,"SignalPlacement"],[3,"StepPlacement"],[3,"Placement"],[3,"SingleRowCellManager"],[3,"MaxWidthCellManager"],[3,"SimpleStepSelectorBuilder"],[3,"TwoStepsSelectorBuilder"],[3,"StepSelector"],[6,"SelectorAssignment"],[6,"PolyExpr"],[4,"ColumnType"],[3,"Poly"],[3,"PolyLookup"],[3,"AssignmentGenerator"],[3,"TraceWitness"],[3,"TraceGenerator"],[3,"MappingGenerator"],[3,"MappingContext"],[6,"Mapping"],[4,"Expr"],[4,"Expression"],[3,"IsZero"],[8,"Eq"],[3,"StepInstance"],[3,"TraceContext"],[3,"FixedGenContext"],[6,"FixedAssignment"],[6,"Trace"],[8,"ToExpr"],[8,"ToField"]]}\ +"chiquito":{"doc":"","t":"AAAAAAAGDDENGDDGDGDNDDNDGDLLLLLLLLLLLMMMMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMLLLLLLLMMMMMMMLLLLLLLLLMLLLLLLLLLLLLLLMMLLLLLLMLLLLLLLLLLLLLLLLLLLLLLMMMLLLLLLLLLLMLLMALLMMMLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNNNNNENNNLLLLLLLLLLLLLLLLLLLLLLLLLLLLLISSKAADNDEDDDNLMMLLLLLLLLLLLLAFLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLALLLLLLLLLALLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMNNDENFFMLLLLLLLLLLLLLLFLMLLLLLLLLLLLLFLLLLFFFFFFFFFLLLLLLLLMFLLFFDIDDDDLLLLLLLLLLLLLLLKLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLFLLLLRFFAAAAADDDLLLLLLFFLLLLLLLLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLFLLLLLLLLLLLLLLLLDDLLLLFLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLALLFFFFLLLLLLALLLLLIDDDDDMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLMLLLLLMLLLLLLLLLLLLLLLLLLLLLKLLMLMLMLLLLLLLLLLLLLLLLLLLLLLLLLGDDIDLLLLLLKLLLLLLLLMLLLLLLLLLLLLLLLLLLLMMLLLLLLLLMMMLLLLLLLLLLLLLLLLNDDENNNDGDLMMMAMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLMMMLMLLLLLLLLLLMMLLMLLLLLLLLLLMLLMMALLALLLLLLLLLLLLLLLLLLLLLLLLLLDGLLLLLLLLLLLLLLLLLLLLLGGDDGDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNENNNNNNIILLLLLLLLLKLKLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLLLGDDGDDDGLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLL","n":["ast","field","frontend","plonkish","poly","stdlib","wit_gen","ASTExpr","Circuit","Constraint","ExposeOffset","First","FixedGen","FixedSignal","ForwardSignal","ImportedHalo2Advice","ImportedHalo2Column","ImportedHalo2Fixed","InternalSignal","Last","Lookup","SharedSignal","Step","StepType","StepTypeUUID","TransitionConstraint","add","add_constr","add_fixed","add_forward","add_halo2_advice","add_halo2_fixed","add_shared","add_signal","add_step_type","add_step_type_def","add_transition","annotation","annotation","annotation","annotations","annotations","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","column","constraints","default","default","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","deserialize","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","drop","enable","enable","eq","eq","eq","eq","eq","eq","expose","exposed","expr","expr","exprs","first_step","fixed_gen","fixed_signals","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","forward_signals","from","from","from","from","from","from","from","from","from","from","from","from","from","get_step_type","halo2_advice","halo2_fixed","hash","hash","hash","hash","hash","hash","id","init","init","init","init","init","init","init","init","init","init","init","into","into","into","into","into","into","into","into","into","into","into","last_step","lookups","name","new","new","new","new","new_with_id","new_with_id","new_with_id","new_with_id","new_with_phase","new_with_phase","num_steps","phase","phase","q_enable","query","set_fixed_gen","set_trace","shared_signals","signals","step_types","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","trace","transition_constraints","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","uuid","uuid","uuid","uuid","uuid","uuid","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","vzip","Fixed","Forward","Halo2AdviceQuery","Halo2FixedQuery","Internal","Queriable","Shared","StepTypeNext","_unaccessible","add","annotation","borrow","borrow_mut","clone","clone_into","deref","deref_mut","deserialize","drop","eq","expr","fmt","from","hash","init","into","mul","neg","next","prev","rot","sub","to_owned","try_from","try_into","type_id","uuid","vzip","Field","ONE","ZERO","mi","dsl","python","CircuitContext","Handler","StepTypeContext","StepTypeDefInput","StepTypeHandler","StepTypeSetupContext","StepTypeWGHandler","String","add_lookup","annotation","annotation","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","cb","circuit","clone","clone_into","constr","constr","deref","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","drop","drop","drop","drop","drop","drop","eq","expose","fixed","fixed_gen","fmt","fmt","forward","forward_with_phase","from","from","from","from","from","from","from","from","from","hash","import_halo2_advice","import_halo2_fixed","init","init","init","init","init","init","internal","into","into","into","into","into","into","lb","new","new","new_table","new_with_id","next","pragma_disable_q_enable","pragma_first_step","pragma_last_step","pragma_num_steps","sc","setup","shared","shared_with_phase","step_type","step_type_def","to_owned","trace","transition","transition","try_from","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","type_id","uuid","uuid","vzip","vzip","vzip","vzip","vzip","vzip","wg","wg","AntiBooly","Boolean","Constraint","Typing","Unknown","and","annotate","annotation","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","deref","deref","deref_mut","deref_mut","drop","drop","eq","eq","expr","fmt","fmt","from","from","from","from","from","from","from","from","from","from","if_next_step","init","init","into","into","isz","lookup","next_step_must_be","next_step_must_not_be","not","or","rlc","select","table","to_owned","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","typing","unless","vzip","vzip","when","xor","InPlaceLookupBuilder","LookupBuilder","LookupTable","LookupTableBuilder","LookupTableRegistry","LookupTableStore","add","add","add","apply","apply","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","build","build","build","clone","clone","clone","clone_into","clone_into","clone_into","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","enable","fmt","fmt","fmt","from","from","from","from","from","get","init","init","init","init","init","into","into","into","into","into","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","uuid","vzip","vzip","vzip","vzip","vzip","when","when","SuperCircuitContext","borrow","borrow_mut","default","deref","deref_mut","drop","from","init","into","mapping","sub_circuit","super_circuit","try_from","try_into","type_id","vzip","CIRCUIT_MAP","chiquito_ast_to_halo2","chiquito_halo2_mock_prover","backend","compiler","ir","halo2","plaf","ChiquitoHalo2","ChiquitoHalo2Circuit","ChiquitoHalo2SuperCircuit","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","chiquito2Halo2","chiquitoSuperCircuit2Halo2","clone","clone","clone_into","clone_into","configure","configure","configure","configure_sub_circuit","configure_with_params","configure_with_params","debug","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","fmt","fmt","from","from","from","init","init","init","instance","instance","into","into","into","new","new","new","params","params","synthesize","synthesize","synthesize","to_halo2_advice","to_owned","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","vzip","vzip","vzip","without_witnesses","without_witnesses","ChiquitoPlaf","ChiquitoPlafWitGen","borrow","borrow","borrow_mut","borrow_mut","chiquito2Plaf","clone","clone_into","deref","deref","deref_mut","deref_mut","drop","drop","fmt","from","from","generate","get_plaf","init","init","into","into","new","to_owned","try_from","try_from","try_into","try_into","type_id","type_id","vzip","vzip","CompilerConfig","borrow","borrow_mut","cell_manager","clone","clone_into","compile","compile_phase1","compile_phase2","config","deref","deref_mut","drop","from","init","into","step_selector","to_owned","try_from","try_into","type_id","vzip","CellManager","MaxWidthCellManager","Placement","SignalPlacement","SingleRowCellManager","StepPlacement","base_height","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","column","columns","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","find_internal_signal_placement","first_step_height","fixed","fmt","fmt","fmt","fmt","fmt","forward","from","from","from","from","from","from","get_fixed_placement","get_forward_placement","get_shared_placement","init","init","init","init","init","into","into","into","into","into","new","new","place","place","place","rotation","same_height","shared","step_height","steps","to_owned","to_owned","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip","SelectorAssignment","SimpleStepSelectorBuilder","StepSelector","StepSelectorBuilder","TwoStepsSelectorBuilder","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","build","build","build","clone","clone","clone","clone_into","clone_into","clone_into","columns","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","fmt","fmt","fmt","from","from","from","get_selector_assignment","halo2_column","hint_one","init","init","init","into","into","into","next_expr","select","selector_assignment","selector_expr","selector_expr_not","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","unselect","vzip","vzip","vzip","Advice","Circuit","Column","ColumnType","Fixed","Halo2Advice","Halo2Fixed","Poly","PolyExpr","PolyLookup","advice","annotation","annotation","annotation","assignments","ast_id","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","columns","ctype","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","drop","drop","drop","drop","drop","eq","exposed","expr","exprs","fixed","fixed_assignments","fmt","fmt","fmt","fmt","fmt","from","from","from","from","from","halo2_advice","halo2_fixed","hash","hash","id","init","init","init","init","init","into","into","into","into","into","lookups","new_halo2_advice","new_halo2_fixed","phase","polys","query","query","rotate","sc","to_owned","to_owned","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","uuid","vzip","vzip","vzip","vzip","vzip","AssignmentGenerator","Assignments","borrow","borrow_mut","clone","clone_into","default","deref","deref_mut","drop","empty","from","generate","generate_with_witness","init","into","new","to_owned","try_from","try_into","type_id","uuid","vzip","Queriable","Mapping","MappingContext","MappingGenerator","SuperAssignments","SuperCircuit","add_sub_circuit","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","clone","clone_into","default","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","drop","from","from","from","generate","get_mapping","get_sub_circuits","init","init","init","into","into","into","map","new","set_mapping","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id","vzip","vzip","vzip","Const","Expr","Halo2Expr","Mul","Neg","Pow","Query","Sum","ToExpr","ToField","add","borrow","borrow_mut","clone","clone_into","deref","deref_mut","deserialize","drop","expr","expr","field","fmt","from","from","from","from","from","from","from","from","init","into","mul","neg","rotate","sub","to_owned","try_from","try_into","type_id","vzip","IsZero","borrow","borrow_mut","deref","deref_mut","drop","from","init","into","is_zero","setup","try_from","try_into","type_id","vzip","wg","FixedAssignment","FixedGenContext","StepInstance","Trace","TraceContext","TraceGenerator","TraceWitness","Witness","add","assign","assign","assignments","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","default","default","default","deref","deref","deref","deref","deref","deref_mut","deref_mut","deref_mut","deref_mut","deref_mut","deserialize","deserialize","drop","drop","drop","drop","drop","fmt","fmt","fmt","from","from","from","from","from","generate","get_assignments","get_witness","init","init","init","init","init","into","into","into","into","into","new","new","new","new","padding","step_instances","step_type_uuid","to_owned","to_owned","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","vzip","vzip","vzip","vzip","vzip"],"q":[[0,"chiquito"],[7,"chiquito::ast"],[286,"chiquito::ast::query"],[324,"chiquito::field"],[328,"chiquito::frontend"],[330,"chiquito::frontend::dsl"],[459,"chiquito::frontend::dsl::cb"],[524,"chiquito::frontend::dsl::lb"],[618,"chiquito::frontend::dsl::sc"],[635,"chiquito::frontend::python"],[638,"chiquito::plonkish"],[641,"chiquito::plonkish::backend"],[643,"chiquito::plonkish::backend::halo2"],[715,"chiquito::plonkish::backend::plaf"],[749,"chiquito::plonkish::compiler"],[771,"chiquito::plonkish::compiler::cell_manager"],[881,"chiquito::plonkish::compiler::step_selector"],[950,"chiquito::plonkish::ir"],[1070,"chiquito::plonkish::ir::assignments"],[1093,"chiquito::plonkish::ir::query"],[1094,"chiquito::plonkish::ir::sc"],[1148,"chiquito::poly"],[1190,"chiquito::stdlib"],[1206,"chiquito::wit_gen"]],"d":["","","","","","","","","Circuit","Condition","","","","","ForwardSignal","","","","","","","","","Step","","TransitionCondition","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","","","","","","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","Calls U::from(self).","","","Call next function on a Querible forward signal to build …","Call prev function on a Querible shared signal to build …","Call rot function on a Querible shared signal to build …","","","","","","","","","The one element of the field, the multiplicative identity.","The zero element of the field, the additive identity.","Computes the multiplicative inverse of this element, …","","","A generic structure designed to handle the context of a …","","A generic structure designed to handle the context of a …","","","","","","Adds a lookup to the step type.","","","","","","","","","","","","","","","","Creates a Circuit instance by providing a name and a …","","","DEPRECATED","Adds a constraint to the step type. Involves internal …","","","","","","","","","","","","","","","","","","","","","Exposes the first step instance value of a forward signal …","","Sets the fixed generation function for the circuit. The …","","","Adds a forward signal to the circuit with a name string …","Adds a forward signal to the circuit with a name string …","Returns the argument unchanged.","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","Imports a halo2 advice column with a name string into the …","Imports a halo2 fixed column with a name string into the …","","","","","","","Adds an internal signal to the step type with the given …","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","Enforce the type of the first step by adding a constraint …","Enforce the type of the last step by adding a constraint …","","","Define step constraints.","Adds a shared signal to the circuit with a name string and …","Adds a shared signal to the circuit with a name string and …","Adds a new step type with the specified name to the …","Defines a step type using the provided StepTypeHandler and …","","Sets the trace function that builds the witness. The trace …","DEPRECATED","Adds a transition constraint to the step type. It’s the …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Represents a constraint with an associated annotation and …","","","Takes an iterator of input constraints and returns a new …","Takes a string annotation and an expression, and returns a …","","","","","","","","","","","","","","","","Takes two constraints and returns a new constraint …","","","","","","","","","","","","Returns the argument unchanged.","","Returns the argument unchanged.","Takes a StepTypeHandler and a constraint, and returns a …","","","Calls U::from(self).","Calls U::from(self).","Takes a constraint and returns a new constraint …","Creates a new empty LookupBuilder object and returns it. …","Takes a StepTypeHandler and returns a new constraint that …","Takes a StepTypeHandler and returns a new constraint that …","Takes a constraint and returns a new constraint …","Takes an iterator of input constraints and returns a new …","Computes the randomized linear combination of the given …","Takes a selector constraint and two other constraints, and …","","","","","","","","","","","Takes a selector constraint and a when_false constraint, …","","","Takes a selector constraint and a when_true constraint, …","Takes two expressions and returns a new expression …","A helper struct for building lookup tables.","","","","","","Adds a source column-lookup column pair to the lookup …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Adds a selector column specific to the lookup table. …","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","Adds a selector column specific to the lookup table. …","Adds a selector column specific to the lookup table. …","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","","","","","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","","","","Calls U::from(self).","","","","","","","","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","","","","","","","A struct that can be used a fixed column generation …","A struct that represents a witness generation context. It …","","","","","","","Takes a Queriable object representing the fixed column …","Takes a Queriable object representing the witness column …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","","","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","",""],"i":[0,0,0,0,0,0,0,0,0,0,0,24,0,0,0,0,0,0,0,24,0,0,24,0,0,0,3,6,7,7,7,7,7,6,7,7,6,22,23,3,6,7,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,7,22,23,3,11,18,9,24,19,26,7,22,23,3,11,18,9,24,19,26,26,6,7,3,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,11,18,9,24,19,6,7,22,23,3,11,18,9,24,19,26,3,3,6,11,18,9,19,26,7,7,22,23,3,7,7,7,6,7,22,23,11,18,9,19,26,7,6,5,5,7,22,23,3,11,18,9,24,19,26,7,7,7,6,11,18,9,19,26,7,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,7,6,6,6,9,19,26,11,18,9,19,11,18,7,11,18,7,0,7,7,7,6,7,7,22,23,3,11,18,9,24,19,26,7,6,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,7,22,23,3,11,18,9,24,19,26,6,11,18,9,19,26,6,7,22,23,3,11,18,9,24,19,26,32,32,32,32,32,0,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,0,58,58,58,0,0,0,47,0,0,0,0,0,47,43,48,20,47,45,43,48,46,20,47,45,43,48,46,20,0,0,20,20,45,43,47,45,43,48,46,20,47,45,43,48,46,20,20,47,45,43,48,46,20,20,46,46,46,46,20,46,46,47,47,47,45,43,48,46,20,20,20,46,46,47,45,43,48,46,20,45,47,45,43,48,46,20,0,45,48,46,20,20,46,46,46,46,0,45,46,46,46,46,20,46,45,43,47,45,43,48,46,20,47,45,43,48,46,20,47,45,43,48,46,20,48,20,47,45,43,48,46,20,45,48,56,56,0,0,56,0,0,35,35,56,35,56,35,56,35,56,35,56,35,56,35,56,0,56,35,35,56,35,35,35,35,35,35,35,35,35,56,0,35,56,35,56,0,0,0,0,0,0,0,0,0,35,56,35,56,35,56,35,56,35,0,35,56,0,0,0,0,0,0,0,0,60,50,49,62,51,60,62,50,49,51,60,62,50,49,51,44,60,62,50,49,51,50,49,51,60,50,49,60,62,50,49,51,60,62,50,49,51,60,62,50,49,51,60,50,49,51,60,62,50,49,51,49,60,62,50,49,51,60,62,50,49,51,50,49,51,60,62,50,49,51,60,62,50,49,51,60,62,50,49,51,50,60,62,50,49,51,62,51,0,63,63,63,63,63,63,63,63,63,63,63,0,63,63,63,63,0,0,0,0,0,0,0,0,0,0,0,70,72,74,70,72,74,0,0,70,72,70,72,70,72,74,70,72,74,70,70,72,74,70,72,74,70,72,74,70,72,74,70,74,70,72,74,70,72,74,72,74,70,72,74,70,72,74,72,74,70,72,74,0,70,72,70,72,74,70,72,74,70,72,74,70,72,74,72,74,0,0,83,82,83,82,0,82,82,83,82,83,82,83,82,82,83,82,83,82,83,82,83,82,82,82,83,82,83,82,83,82,83,82,0,66,66,0,66,66,0,0,0,0,66,66,66,66,66,66,0,66,66,66,66,66,0,0,0,0,0,0,88,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,86,88,88,89,90,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,88,88,88,86,87,88,89,90,88,86,86,87,88,89,90,88,88,88,86,87,88,89,90,86,87,88,89,90,86,90,64,89,90,86,88,88,88,88,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,86,87,88,89,90,0,0,0,0,0,93,91,92,93,91,92,65,91,92,93,91,92,93,91,92,93,93,91,92,93,91,92,93,91,92,93,91,92,93,91,92,93,91,92,93,92,92,93,91,92,93,91,92,93,93,93,93,93,93,91,92,93,91,92,93,91,92,93,91,92,93,93,91,92,96,0,0,0,96,96,96,0,0,0,80,80,97,98,0,69,69,96,80,97,98,69,96,80,97,98,69,96,80,97,98,69,96,80,97,98,69,80,69,69,96,80,97,98,69,96,80,97,98,69,96,80,97,98,80,69,97,98,80,69,69,96,80,97,98,69,96,80,97,98,80,80,96,80,69,69,96,80,97,98,69,96,80,97,98,69,80,80,80,69,0,80,95,0,69,96,80,97,98,69,96,80,97,98,69,96,80,97,98,69,96,80,97,98,80,69,96,80,97,98,0,0,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,0,0,0,0,0,0,67,67,103,102,67,103,102,102,102,67,103,102,67,103,102,67,103,102,67,103,102,67,103,102,102,67,67,67,103,102,67,103,102,103,102,67,102,67,103,102,67,103,102,67,103,102,67,103,102,105,0,105,105,105,105,105,105,0,0,105,105,105,105,105,105,105,105,105,114,105,115,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,0,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,0,0,0,0,0,0,0,0,110,111,109,109,101,111,109,100,110,101,111,109,100,110,101,109,101,109,101,109,100,101,111,109,100,110,101,111,109,100,110,109,100,101,111,109,100,110,109,100,110,101,111,109,100,110,101,111,110,101,111,109,100,110,101,111,109,100,110,101,111,109,110,110,100,109,101,109,101,111,109,100,110,101,111,109,100,110,101,111,109,100,110,101,111,109,100,110],"f":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,[[[3,[[0,[1,2]]]],4,[5,[[0,[1,2]]]],[5,[[0,[1,2]]]]]],[[6,4,5]],[[7,[8,[4]]],9],[[7,[8,[4]],10],11],[[7,12,[14,[13]]],15],[[7,12,[14,[16]]],17],[[7,[8,[4]],10],18],[[6,[8,[4]]],19],[[7,20,[8,[4]]]],[[7,6],21],[[6,4,5]],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[7,[2,2]]],[[7,[2,2]]]],[[[22,[2]]],[[22,[2]]]],[[[23,[2]]],[[23,[2]]]],[[[3,[2]]],[[3,[2]]]],[11,11],[18,18],[9,9],[24,24],[19,19],[[[26,[[0,[2,25]]]]],[[26,[[0,[2,25]]]]]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,[[],7],[[],3],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[6,[28]]]]]],[27,[[29,[[7,[28]]]]]],[27,[[29,[[22,[28]]]]]],[27,[[29,[[23,[28]]]]]],[27,[[29,[11]]]],[27,[[29,[18]]]],[27,[[29,[9]]]],[27,[[29,[24]]]],[27,[[29,[19]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[3,[[0,[1,2]]]],4,[5,[[0,[1,2]]]]]],0,[[6,6],30],[[11,11],30],[[18,18],30],[[9,9],30],[[19,19],30],[[[26,[[0,[31,25]]]],[26,[[0,[31,25]]]]],30],[[7,32,24]],0,0,0,0,0,0,0,[[[6,[1]],33],34],[[[7,[1,1]],33],34],[[[22,[1]],33],34],[[[23,[1]],33],34],[[11,33],34],[[18,33],34],[[9,33],34],[[19,33],34],[[[26,[[0,[1,25]]]],33],34],0,[[]],[32,5],[35,5],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[7,36],[[37,[6]]]],0,0,[[6,38]],[[11,38]],[[18,38]],[[9,38]],[[19,38]],[[[26,[[0,[39,25]]]],38]],0,[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,0,[[36,4],6],[4,9],[4,19],[[[14,[25]],4],[[26,[25]]]],[[36,10,4],11],[[36,10,4],18],[[36,4],9],[[36,4],19],[[10,4],11],[[10,4],18],0,[11,10],[18,10],0,0,[[7,40]],[[7,40]],0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[6,21],[11,36],[18,36],[9,36],[19,36],[[[26,[25]]],36],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,[[[32,[2]],[8,[[5,[2]]]]]],[32,4],[[]],[[]],[[[32,[2]]],[[32,[2]]]],[[]],[10],[10],[27,[[29,[[32,[28]]]]]],[10],[[[32,[31]],[32,[31]]],30],[[[32,[2]]],[[5,[2]]]],[[32,33],34],[[]],[[[32,[39]],38]],[[],10],[[]],[[[32,[2]],[8,[[5,[2]]]]]],[[[32,[2]]]],[32,32],[32,32],[[32,42],32],[[[32,[2]],[8,[[5,[2]]]]]],[[]],[[],29],[[],29],[[],41],[32,36],[[]],0,0,0,[[]],0,0,0,0,0,0,0,0,0,0,[[[43,[[0,[1,2]]]],[44,[[0,[1,2]]]]]],0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,[[12,40],7],[20,20],[[]],[[45,[8,[35]]]],[[43,[8,[35]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[20]]]],[10],[10],[10],[10],[10],[10],[[20,20],30],[[46,32,24]],[[46,12],32],[[46,40]],[[[46,[1,1]],33],34],[[20,33],34],[[46,12],32],[[46,12,10],32],[[]],[12,47],[20,47],[[]],[[]],[[]],[[]],[[]],[[[48,[40]]],20],[[20,38]],[[46,12,[14,[13]]],32],[[46,12,[14,[16]]],32],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[45,12],32],[[]],[[]],[[]],[[]],[[]],[[]],0,[[36,4,49],45],[[36,12,40],[[48,[40]]]],[[46,50],51],[[36,4],20],[20,32],[46],[[46,[8,[20]]]],[[46,[8,[20]]]],[[46,10]],0,[[45,40]],[[46,12],32],[[46,12,10],32],[[46,12],20],[[46,[8,[47]],52],[[48,[40]]]],[[]],[[46,40]],[[45,[8,[35]]]],[[43,[8,[35]]]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[[],41],[[[48,[40]]],36],[20,36],[[]],[[]],[[]],[[]],[[]],[[]],[[45,40],[[48,[40]]]],0,0,0,0,0,0,[53,[[35,[[55,[54]]]]]],[[4,[8,[5]],56],35],0,[[]],[[]],[[]],[[]],[[[35,[2]]],[[35,[2]]]],[56,56],[[]],[[]],[10],[10],[10],[10],[10],[10],[[[8,[35]],[8,[35]]],35],[[56,56],30],0,[[35,33],34],[[56,33],34],[54,[[35,[[0,[[55,[54]],1]]]]]],[32,35],[57,[[35,[[0,[[55,[54]],1]]]]]],[10,[[35,[[0,[[55,[54]],1]]]]]],[42,[[35,[[0,[58,[55,[54]],1]]]]]],[59,[[35,[[0,[[55,[54]],1]]]]]],[[[5,[1]]],[[35,[1]]]],[[]],[30,[[35,[[0,[[55,[54]],1]]]]]],[[]],[[[8,[20]],[8,[[35,[2]]]]],[[35,[2]]]],[[],10],[[],10],[[]],[[]],[[[8,[35]]],35],[[],[[60,[[0,[1,2]]]]]],[[[8,[20]]],[[35,[[55,[54]]]]]],[[[8,[20]]],[[35,[[55,[54]]]]]],[[[8,[[35,[[55,[54]]]]]]],[[35,[[55,[54]]]]]],[[[0,[53,2]]],[[35,[[0,[[55,[54]],1]]]]]],[[[0,[[8,[[5,[[55,[54]]]]]],2]]],[[5,[[55,[54]]]]]],[[[8,[[35,[[0,[[55,[54]],2]]]]]],[8,[[35,[[0,[[55,[54]],2]]]]]],[8,[[35,[[0,[[55,[54]],2]]]]]]],[[35,[[0,[[55,[54]],2]]]]]],[[],[[50,[61]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],0,[[[8,[[35,[[0,[[55,[54]],2]]]]]],[8,[[35,[[0,[[55,[54]],2]]]]]]],[[35,[[0,[[55,[54]],2]]]]]],[[]],[[]],[[[8,[[35,[[0,[[55,[54]],2]]]]]],[8,[[35,[[0,[[55,[54]],2]]]]]]],[[35,[[0,[[55,[54]],2]]]]]],[[[8,[[35,[[0,[[55,[54]],2]]]]]],[8,[[35,[[0,[[55,[54]],2]]]]]]],[[35,[[0,[[55,[54]],2]]]]]],0,0,0,0,0,0,[[[60,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]],[8,[[5,[[0,[1,2]]]]]]],[[60,[[0,[1,2]]]]]],[[50,[8,[5]]],50],[[49,50]],[[62,[8,[35]]],62],[[51,[8,[35]]],62],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[43,3],[[60,43],3],[[[62,[[0,[2,1]]]],[43,[[0,[2,1]]]]],[[3,[[0,[2,1]]]]]],[[[50,[2]]],[[50,[2]]]],[49,49],[51,51],[[]],[[]],[[]],[[],60],[[],50],[[],49],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[60,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]]],[[60,[[0,[1,2]]]]]],[[[50,[1]],33],34],[[[49,[1]],33],34],[[51,33],34],[[]],[[]],[[]],[[]],[[]],[[[49,[2]],36],[[50,[2]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[50,36],[[]],[[]],[[]],[[]],[[]],[[62,[8,[35]]],62],[[51,[8,[35]]],62],0,[[]],[[]],[[],63],[10],[10],[10],[[]],[[],10],[[]],[[[63,[[0,[58,39]]]],40]],[[[63,[[0,[58,39]]]],[66,[64,65]],40]],[[12,40],[[67,[[0,[58,39]]]]]],[[],29],[[],29],[[],41],[[]],0,[12,36],[[12,36]],0,0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[69,[[0,[68,[55,[54]],39]]]]],[[70,[[0,[68,[55,[54]],39]]]]]],[[[67,[[0,[68,[55,[54]],39]]]]],[[71,[[70,[[0,[68,[55,[54]],39]]]]]]]],[[[70,[[0,[2,68,[55,[54]]]]]]],[[70,[[0,[2,68,[55,[54]]]]]]]],[[[72,[[0,[2,68,[55,[54]]]]]]],[[72,[[0,[2,68,[55,[54]]]]]]]],[[]],[[]],[[[70,[[0,[68,[55,[54]],39]]]],[73,[[0,[68,[55,[54]],39]]]]]],[[[73,[[0,[68,[55,[54]],39]]]]]],[[[73,[[0,[68,[55,[54]],39]]]]]],[[[70,[[0,[68,[55,[54]],39]]]],[73,[[0,[68,[55,[54]],39]]]]]],[[[73,[[0,[68,[55,[54]],39]]]]]],[[[73,[[0,[68,[55,[54]],39]]]]]],0,[[],[[70,[[0,[61,68,[55,[54]]]]]]]],[[],[[72,[[0,[61,68,[55,[54]]]]]]]],[[],[[74,[[0,[61,68,[55,[54]]]]]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[70,[[0,[1,68,[55,[54]]]]]],33],34],[[[74,[[0,[1,68,[55,[54]]]]]],33],34],[[]],[[]],[[]],[[],10],[[],10],[[],10],[[[72,[[0,[68,[55,[54]],39]]]]],[[71,[[71,[[0,[68,[55,[54]],39]]]]]]]],[[[74,[[0,[68,[55,[54]],39]]]]],[[71,[[71,[[0,[68,[55,[54]],39]]]]]]]],[[]],[[]],[[]],[[[69,[[0,[68,[55,[54]],39]]]]],[[70,[[0,[68,[55,[54]],39]]]]]],[[[70,[[0,[68,[55,[54]],39]]]],[76,[[75,[[0,[68,[55,[54]],39]]]]]]],[[72,[[0,[68,[55,[54]],39]]]]]],[[[71,[[70,[[0,[68,[55,[54]],39]]]]]],[77,[[0,[68,[55,[54]],39]]]]],[[74,[[0,[68,[55,[54]],39]]]]]],[[[72,[[0,[68,[55,[54]],39]]]]]],[[[74,[[0,[68,[55,[54]],39]]]]]],[[[70,[[0,[68,[55,[54]],39]]]],[78,[[0,[68,[55,[54]],39]]]],[76,[[75,[[0,[68,[55,[54]],39]]]]]]]],[[[72,[[0,[68,[55,[54]],39]]]],[78,[[0,[68,[55,[54]],39]]]]],[[29,[79]]]],[[[74,[[0,[68,[55,[54]],39]]]],[78,[[0,[68,[55,[54]],39]]]]],[[29,[79]]]],[[[73,[68]],80],[[14,[13]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[]],[[]],[[]],[[[72,[[0,[68,[55,[54]],39]]]]],[[72,[[0,[68,[55,[54]],39]]]]]],[[[74,[[0,[68,[55,[54]],39]]]]],[[74,[[0,[68,[55,[54]],39]]]]]],0,0,[[]],[[]],[[]],[[]],[[[69,[81]],59,30]],[[[82,[[0,[2,81]]]]],[[82,[[0,[2,81]]]]]],[[]],[10],[10],[10],[10],[10],[10],[[[82,[[0,[1,81]]]],33],34],[[]],[[]],[[83,[76,[[75,[[0,[81,39]]]]]]],84],[[[82,[81]],59],85],[[],10],[[],10],[[]],[[]],[[[69,[81]],30],[[82,[81]]]],[[]],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[]],[[]],0,[[]],[[]],0,[[[66,[[0,[2,64]],[0,[2,65]]]]],[[66,[[0,[2,64]],[0,[2,65]]]]]],[[]],[[[66,[64,65]],[7,[[0,[58,39,2]]]]]],[[[66,[64,65]],[7,[[0,[58,39,2]]]]]],[[[0,[[0,[58,2]]]]]],[[64,65],[[66,[64,65]]]],[10],[10],[10],[[]],[[],10],[[]],0,[[]],[[],29],[[],29],[[],41],[[]],0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[86,86],[87,87],[88,88],[89,89],[90,90],[[]],[[]],[[]],[[]],[[]],0,0,[[],88],[[],89],[[],90],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[88,21,19],86],[88,59],0,[[86,33],34],[[87,33],34],[[88,33],34],[[89,33],34],[[90,33],34],0,[[]],[[],86],[[]],[[]],[[]],[[]],[[88,9],[[76,[86]]]],[[88,11],[[76,[86]]]],[[88,18],[[76,[86]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[80,42],86],[[10,30],90],0,0,0,0,[88,30],0,[[88,21],59],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[[]],[[]],[[]],[[]],[[]],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[0,[58]]]],[[91,[0,[58]]]],[[92,[0,[58]]]],[[[93,[2]]],[[93,[2]]]],[91,91],[92,92],[[]],[[]],[[]],0,[[],93],[[],91],[[],92],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[93,[1]],33],34],[[91,33],34],[[92,33],34],[[]],[[]],[[]],[[[93,[2]],21],[[71,[[94,[2]]]]]],0,0,[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[93,[2]],21,59],[[95,[2]]]],[[[93,[2]],21,[95,[2]]],[[95,[2]]]],0,0,0,[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[[93,[2]],21],[[95,[2]]]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[[8,[4]],10],80],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[69,[2]]],[[69,[2]]]],[96,96],[80,80],[[[97,[2]]],[[97,[2]]]],[[[98,[2]]],[[98,[2]]]],[[]],[[]],[[]],[[]],[[]],0,0,[[],[[69,[61]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[80,80],30],0,0,0,[[[8,[4]]],80],0,[[[69,[1]],33],34],[[96,33],34],[[80,33],34],[[[97,[1]],33],34],[[[98,[1]],33],34],[[]],[[]],[[]],[[]],[[]],0,0,[[96,38]],[[80,38]],0,[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],0,[[[8,[4]],15],80],[[[8,[4]],17],80],0,0,0,[[80,42,[8,[4]]],95],[[[95,[2]],42],[[95,[2]]]],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[80,36],[[]],[[]],[[]],[[]],[[]],0,0,[[]],[[]],[[[99,[2]]],[[99,[2]]]],[[]],[[],[[99,[2]]]],[10],[10],[10],[36,[[99,[58]]]],[[]],[[[99,[58]]],[[75,[58]]]],[[[99,[58]],[100,[58]]],[[75,[58]]]],[[],10],[[]],[[[71,[80]],88,[93,[58]],[101,[58]],10,36],[[99,[58]]]],[[]],[[],29],[[],29],[[],41],[[[99,[58]]],36],[[]],0,0,0,0,0,0,[[67,69]],[[]],[[]],[[]],[[]],[[]],[[]],[102,102],[[]],[[],67],[[],103],[[],102],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[]],[[]],[[]],[[[102,[58]]],[[77,[58]]]],[67,102],[[[67,[2]]],[[71,[[69,[2]]]]]],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[103,[58]],[99,[58]]]],[[[37,[[104,[58]]]]],[[102,[58]]]],[[[67,[58]],40]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[105,[8,[105]]],105],[[]],[[]],[[[105,[2,2]]],[[105,[2,2]]]],[[]],[10],[10],[27,[[29,[[105,[28,[32,[28]]]]]]]],[10],[[],105],[[[105,[2,2]]],[[105,[2,2]]]],[[]],[[[105,[1,1]],33],34],[59,[[105,[[55,[54]]]]]],[42,[[105,[[0,[58,[55,[54]]]]]]]],[10,[[105,[[55,[54]]]]]],[30,[[105,[[55,[54]]]]]],[106,105],[[]],[54,[[105,[[55,[54]]]]]],[57,[[105,[[55,[54]]]]]],[[],10],[[]],[[105,[8,[105]]],105],[105,105],[[[105,[2]],42],[[95,[2]]]],[[105,[8,[105]]],105],[[]],[[],29],[[],29],[[],41],[[]],0,[[]],[[]],[10],[10],[10],[[]],[[],10],[[]],[[[107,[[0,[58,[55,[54]]]]]]],[[35,[[0,[58,[55,[54]]]]]]]],[[[45,[[0,[58,[55,[54]]]]]],[8,[[35,[[0,[58,[55,[54]]]]]]]],[32,[[0,[58,[55,[54]]]]]]],[[107,[[0,[58,[55,[54]]]]]]]],[[],29],[[],29],[[],41],[[]],[[[107,[[0,[58,108,39]]]],[109,[[0,[58,108,39]]]],[0,[58,108,39]]]],0,0,0,0,0,0,0,0,[[110,[48,[40]]]],[[[111,[[0,[58,39]]]],10,[32,[[0,[58,39]]]],[0,[58,39]]]],[[[109,[[0,[108,39]]]],[32,[[0,[108,39]]]],[0,[108,39]]]],0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[101,101],[[[109,[2]]],[[109,[2]]]],[[]],[[]],[[],101],[[],[[109,[61]]]],[[],[[100,[61]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[109,[28]]]]]],[27,[[29,[[100,[28]]]]]],[10],[10],[10],[10],[10],[[[109,[1]],33],34],[[[100,[1]],33],34],[[[110,[1]],33],34],[[]],[[]],[[]],[[]],[[]],[[[101,[61]]],[[100,[61]]]],[[[111,[[0,[58,39]]]]],[[112,[[0,[58,39]]]]]],[[[110,[61]]],[[100,[61]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[[37,[[113,[61]]]],10],[[101,[61]]]],[10,[[111,[[0,[58,39]]]]]],[21,109],[10,[[110,[61]]]],[[110,[48,[40]],40]],0,0,[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],41],[[],41],[[],41],[[],41],[[],41],[[]],[[]],[[]],[[]],[[]]],"c":[],"p":[[8,"Debug"],[8,"Clone"],[3,"Lookup"],[3,"String"],[6,"ASTExpr"],[3,"StepType"],[3,"Circuit"],[8,"Into"],[3,"FixedSignal"],[15,"usize"],[3,"ForwardSignal"],[15,"str"],[3,"Advice"],[3,"Column"],[6,"ImportedHalo2Advice"],[3,"Fixed"],[6,"ImportedHalo2Fixed"],[3,"SharedSignal"],[3,"InternalSignal"],[3,"StepTypeHandler"],[6,"StepTypeUUID"],[3,"Constraint"],[3,"TransitionConstraint"],[4,"ExposeOffset"],[8,"ColumnType"],[3,"ImportedHalo2Column"],[8,"Deserializer"],[3,"Fr"],[4,"Result"],[15,"bool"],[8,"PartialEq"],[4,"Queriable"],[3,"Formatter"],[6,"Result"],[3,"Constraint"],[15,"u128"],[3,"Rc"],[8,"Hasher"],[8,"Hash"],[8,"Fn"],[3,"TypeId"],[15,"i32"],[3,"StepTypeSetupContext"],[8,"LookupBuilder"],[3,"StepTypeContext"],[3,"CircuitContext"],[4,"StepTypeDefInput"],[3,"StepTypeWGHandler"],[3,"LookupTableRegistry"],[3,"LookupTableStore"],[3,"LookupTable"],[8,"FnOnce"],[8,"IntoIterator"],[15,"u64"],[8,"From"],[4,"Typing"],[15,"u8"],[8,"Field"],[15,"u32"],[3,"InPlaceLookupBuilder"],[8,"Default"],[3,"LookupTableBuilder"],[3,"SuperCircuitContext"],[8,"CellManager"],[8,"StepSelectorBuilder"],[3,"CompilerConfig"],[3,"SuperCircuit"],[8,"Field"],[3,"Circuit"],[3,"ChiquitoHalo2"],[3,"Vec"],[3,"ChiquitoHalo2Circuit"],[3,"ConstraintSystem"],[3,"ChiquitoHalo2SuperCircuit"],[6,"Assignments"],[4,"Option"],[6,"SuperAssignments"],[8,"Layouter"],[4,"Error"],[3,"Column"],[8,"PrimeField"],[3,"ChiquitoPlaf"],[3,"ChiquitoPlafWitGen"],[3,"Witness"],[3,"Plaf"],[3,"SignalPlacement"],[3,"StepPlacement"],[3,"Placement"],[3,"SingleRowCellManager"],[3,"MaxWidthCellManager"],[3,"SimpleStepSelectorBuilder"],[3,"TwoStepsSelectorBuilder"],[3,"StepSelector"],[6,"SelectorAssignment"],[6,"PolyExpr"],[4,"ColumnType"],[3,"Poly"],[3,"PolyLookup"],[3,"AssignmentGenerator"],[3,"TraceWitness"],[3,"TraceGenerator"],[3,"MappingGenerator"],[3,"MappingContext"],[6,"Mapping"],[4,"Expr"],[4,"Expression"],[3,"IsZero"],[8,"Eq"],[3,"StepInstance"],[3,"TraceContext"],[3,"FixedGenContext"],[6,"FixedAssignment"],[6,"Trace"],[8,"ToExpr"],[8,"ToField"]]}\ }'); if (typeof window !== 'undefined' && window.initSearch) {window.initSearch(searchIndex)}; if (typeof exports !== 'undefined') {exports.searchIndex = searchIndex};