From e3532f2154ff4d7466b4f5d6304a2b0add7ab908 Mon Sep 17 00:00:00 2001 From: "github-merge-queue[bot]" Date: Mon, 16 Oct 2023 07:56:27 +0000 Subject: [PATCH] deploy: c527f5edd2f1c3964186e3b48f95167cb11f9ae2 --- docs/chiquito/ast/query/enum.Queriable.html | 6 +++--- docs/chiquito/ast/type.ASTExpr.html | 2 +- docs/chiquito/frontend/dsl/cb/struct.Constraint.html | 2 +- docs/chiquito/index.html | 2 +- docs/chiquito/poly/enum.Expr.html | 4 ++-- docs/chiquito/poly/trait.ToExpr.html | 2 +- docs/chiquito/poly/trait.ToField.html | 2 +- docs/chiquito/wit_gen/struct.StepInstance.html | 4 ++-- docs/chiquito/wit_gen/struct.TraceWitness.html | 4 ++-- docs/implementors/core/clone/trait.Clone.js | 2 +- docs/implementors/core/cmp/trait.Eq.js | 2 +- docs/implementors/core/cmp/trait.PartialEq.js | 2 +- docs/implementors/core/convert/trait.From.js | 2 +- docs/implementors/core/default/trait.Default.js | 2 +- docs/implementors/core/fmt/trait.Debug.js | 2 +- docs/implementors/core/fmt/trait.Display.js | 2 +- docs/implementors/core/hash/trait.Hash.js | 2 +- docs/implementors/core/marker/trait.Copy.js | 2 +- docs/implementors/core/marker/trait.StructuralEq.js | 2 +- docs/implementors/core/marker/trait.StructuralPartialEq.js | 2 +- docs/implementors/core/ops/arith/trait.Add.js | 2 +- docs/implementors/core/ops/arith/trait.Neg.js | 2 +- .../halo2_proofs/plonk/circuit/trait.Circuit.js | 2 +- docs/implementors/serde/de/trait.Deserialize.js | 2 +- docs/search-index.js | 2 +- 25 files changed, 30 insertions(+), 30 deletions(-) diff --git a/docs/chiquito/ast/query/enum.Queriable.html b/docs/chiquito/ast/query/enum.Queriable.html index 32aaf564..c2a3f987 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 +

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 e03540b8..b33b4cbb 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 460f4a3f..4a24b256 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/index.html b/docs/chiquito/index.html index 8c49e404..d539ef01 100644 --- a/docs/chiquito/index.html +++ b/docs/chiquito/index.html @@ -1 +1 @@ -chiquito - Rust

Crate chiquito

source ·

Modules

\ No newline at end of file +chiquito - Rust

Crate chiquito

source ·

Modules

\ No newline at end of file diff --git a/docs/chiquito/poly/enum.Expr.html b/docs/chiquito/poly/enum.Expr.html index 6967a5f4..fb6ee5f9 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 e862e287..fb76e219 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 bool

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 usize

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 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 +}

Required Methods§

source

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

Implementations on Foreign Types§

source§

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

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 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: 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>

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 51118aab..ced33252 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: 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 u32

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 u8

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 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 u32

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 usize

source§

fn field(&self) -> F

source§

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

source§

fn field(&self) -> F

Implementors§

\ No newline at end of file diff --git a/docs/chiquito/wit_gen/struct.StepInstance.html b/docs/chiquito/wit_gen/struct.StepInstance.html index 838722ec..757c2c45 100644 --- a/docs/chiquito/wit_gen/struct.StepInstance.html +++ b/docs/chiquito/wit_gen/struct.StepInstance.html @@ -5,8 +5,8 @@ values to witness columns in a circuit.

Fields§

§step_type_uuid: StepTypeUUID§assignments: HashMap<Queriable<F>, F>

Implementations§

source§

impl<F> StepInstance<F>

source

pub fn new(step_type_uuid: StepTypeUUID) -> StepInstance<F>

source§

impl<F: Eq + Hash> StepInstance<F>

source

pub fn assign(&mut self, lhs: Queriable<F>, rhs: F)

Takes a Queriable object representing the witness column (lhs) and the value (rhs) to be assigned.

-

Trait Implementations§

source§

impl<F: Clone> Clone for StepInstance<F>

source§

fn clone(&self) -> StepInstance<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> Debug for StepInstance<F>

source§

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

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

impl<F: Default> Default for StepInstance<F>

source§

fn default() -> StepInstance<F>

Returns the “default value” for a type. Read more
source§

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

source§

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

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

impl<F: Debug> Display for StepInstance<F>

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

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

Trait Implementations§

source§

impl<F: Clone> Clone for StepInstance<F>

source§

fn clone(&self) -> StepInstance<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> Debug for StepInstance<F>

source§

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

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

impl<F: Default> Default for StepInstance<F>

source§

fn default() -> StepInstance<F>

Returns the “default value” for a type. Read more
source§

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

source§

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

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

impl<F: Debug> Display for StepInstance<F>

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

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

§

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

§

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

§

impl<F> Unpin for StepInstance<F>where diff --git a/docs/chiquito/wit_gen/struct.TraceWitness.html b/docs/chiquito/wit_gen/struct.TraceWitness.html index 9c8f5be2..ffd4640e 100644 --- a/docs/chiquito/wit_gen/struct.TraceWitness.html +++ b/docs/chiquito/wit_gen/struct.TraceWitness.html @@ -1,7 +1,7 @@ TraceWitness in chiquito::wit_gen - Rust

Struct chiquito::wit_gen::TraceWitness

source · 
pub struct TraceWitness<F> {
     pub step_instances: Witness<F>,
-}

Fields§

§step_instances: Witness<F>

Trait Implementations§

source§

impl<F: Clone> Clone for TraceWitness<F>

source§

fn clone(&self) -> TraceWitness<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> Debug for TraceWitness<F>

source§

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

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

impl<F: Default> Default for TraceWitness<F>

source§

fn default() -> TraceWitness<F>

Returns the “default value” for a type. Read more
source§

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

source§

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

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

impl<F: Debug> Display for TraceWitness<F>

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<F> RefUnwindSafe for TraceWitness<F>where +}

Fields§

§step_instances: Witness<F>

Trait Implementations§

source§

impl<F: Clone> Clone for TraceWitness<F>

source§

fn clone(&self) -> TraceWitness<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> Debug for TraceWitness<F>

source§

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

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

impl<F: Default> Default for TraceWitness<F>

source§

fn default() -> TraceWitness<F>

Returns the “default value” for a type. Read more
source§

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

source§

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

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

impl<F: Debug> Display for TraceWitness<F>

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

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

§

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

§

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

§

impl<F> Unpin for TraceWitness<F>where diff --git a/docs/implementors/core/clone/trait.Clone.js b/docs/implementors/core/clone/trait.Clone.js index c61a46b8..f8b55e25 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<F: Clone> Clone for Lookup<F>"],["impl<CM: Clone + CellManager, SSB: Clone + StepSelectorBuilder> Clone for CompilerConfig<CM, SSB>"],["impl Clone for SharedSignal"],["impl<F: Clone> Clone for StepInstance<F>"],["impl<F: Clone, V: Clone> Clone for Expr<F, V>"],["impl<F: Clone> Clone for Constraint<F>"],["impl Clone for ForwardSignal"],["impl Clone for SingleRowCellManager"],["impl<F: Clone> Clone for Circuit<F>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2<F>"],["impl Clone for SignalPlacement"],["impl<F: Clone> Clone for Poly<F>"],["impl Clone for StepPlacement"],["impl<F: Clone> Clone for PolyLookup<F>"],["impl<F: Clone> Clone for TraceWitness<F>"],["impl Clone for LookupTable"],["impl<F: Clone> Clone for Queriable<F>"],["impl<F, TraceArgs> Clone for TraceGenerator<F, TraceArgs>"],["impl<F: Clone> Clone for Assignments<F>"],["impl Clone for MaxWidthCellManager"],["impl<F: Clone> Clone for StepSelector<F>"],["impl<F, MappingArgs> Clone for MappingGenerator<F, MappingArgs>"],["impl<F: Clone, TraceArgs: Clone> Clone for Circuit<F, TraceArgs>"],["impl<CT: Clone + ColumnType> Clone for ImportedHalo2Column<CT>"],["impl<F: Clone, TraceArgs> Clone for AssignmentGenerator<F, TraceArgs>"],["impl Clone for ExposeOffset"],["impl<F: Clone> Clone for LookupTableStore<F>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2Circuit<F>"],["impl<F: Clone> Clone for Constraint<F>"],["impl<F> Clone for LookupTableRegistry<F>"],["impl Clone for Placement"],["impl Clone for FixedSignal"],["impl Clone for SimpleStepSelectorBuilder"],["impl Clone for StepTypeHandler"],["impl Clone for ColumnType"],["impl Clone for TwoStepsSelectorBuilder"],["impl<F: Clone> Clone for TransitionConstraint<F>"],["impl Clone for Column"],["impl Clone for Typing"],["impl Clone for InternalSignal"],["impl<F: Clone + PrimeField> Clone for ChiquitoPlaf<F>"]] +"chiquito":[["impl Clone for SignalPlacement"],["impl<F: Clone> Clone for StepInstance<F>"],["impl<F: Clone> Clone for Constraint<F>"],["impl<F, MappingArgs> Clone for MappingGenerator<F, MappingArgs>"],["impl Clone for StepTypeHandler"],["impl<F: Clone> Clone for Assignments<F>"],["impl<F: Clone> Clone for Circuit<F>"],["impl<F: Clone, TraceArgs: Clone> Clone for Circuit<F, TraceArgs>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2<F>"],["impl<F> Clone for LookupTableRegistry<F>"],["impl<CT: Clone + ColumnType> Clone for ImportedHalo2Column<CT>"],["impl<F: Clone> Clone for LookupTableStore<F>"],["impl Clone for Typing"],["impl<F: Clone> Clone for Lookup<F>"],["impl<F: Clone> Clone for Queriable<F>"],["impl<F: Clone> Clone for Constraint<F>"],["impl Clone for Column"],["impl Clone for SingleRowCellManager"],["impl Clone for LookupTable"],["impl Clone for SharedSignal"],["impl<F: Clone, TraceArgs> Clone for AssignmentGenerator<F, TraceArgs>"],["impl<F: Clone> Clone for TraceWitness<F>"],["impl<F: Clone, V: Clone> Clone for Expr<F, V>"],["impl<F: Clone> Clone for StepSelector<F>"],["impl<F: Clone> Clone for Poly<F>"],["impl Clone for Placement"],["impl<CM: Clone + CellManager, SSB: Clone + StepSelectorBuilder> Clone for CompilerConfig<CM, SSB>"],["impl Clone for ExposeOffset"],["impl Clone for SimpleStepSelectorBuilder"],["impl Clone for TwoStepsSelectorBuilder"],["impl Clone for FixedSignal"],["impl<F: Clone + PrimeField> Clone for ChiquitoPlaf<F>"],["impl<F: Clone + Field + From<u64>> Clone for ChiquitoHalo2Circuit<F>"],["impl Clone for StepPlacement"],["impl Clone for ForwardSignal"],["impl<F: Clone> Clone for TransitionConstraint<F>"],["impl Clone for ColumnType"],["impl<F, TraceArgs> Clone for TraceGenerator<F, TraceArgs>"],["impl Clone for InternalSignal"],["impl Clone for MaxWidthCellManager"],["impl<F: Clone> Clone for PolyLookup<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/cmp/trait.Eq.js b/docs/implementors/core/cmp/trait.Eq.js index 35e894e4..adab1a1d 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 Column"],["impl<F: Eq> Eq for Queriable<F>"],["impl Eq for Typing"],["impl Eq for StepTypeHandler"],["impl Eq for InternalSignal"],["impl<F> Eq for StepType<F>"],["impl Eq for ForwardSignal"],["impl Eq for FixedSignal"],["impl<CT: Eq + ColumnType> Eq for ImportedHalo2Column<CT>"],["impl Eq for SharedSignal"]] +"chiquito":[["impl Eq for Typing"],["impl<F: Eq> Eq for Queriable<F>"],["impl Eq for Column"],["impl Eq for InternalSignal"],["impl<CT: Eq + ColumnType> Eq for ImportedHalo2Column<CT>"],["impl<F> Eq for StepType<F>"],["impl Eq for FixedSignal"],["impl Eq for ForwardSignal"],["impl Eq for StepTypeHandler"],["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 66779754..6d1561d6 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<CT: PartialEq + ColumnType> PartialEq<ImportedHalo2Column<CT>> for ImportedHalo2Column<CT>"],["impl PartialEq<SharedSignal> for SharedSignal"],["impl PartialEq<Typing> for Typing"],["impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>"],["impl<F> PartialEq<StepType<F>> for StepType<F>"],["impl PartialEq<ForwardSignal> for ForwardSignal"],["impl PartialEq<FixedSignal> for FixedSignal"],["impl PartialEq<StepTypeHandler> for StepTypeHandler"],["impl PartialEq<Column> for Column"]] +"chiquito":[["impl PartialEq<Typing> for Typing"],["impl PartialEq<FixedSignal> for FixedSignal"],["impl<F: PartialEq> PartialEq<Queriable<F>> for Queriable<F>"],["impl PartialEq<InternalSignal> for InternalSignal"],["impl<CT: PartialEq + ColumnType> PartialEq<ImportedHalo2Column<CT>> for ImportedHalo2Column<CT>"],["impl PartialEq<Column> for Column"],["impl<F> PartialEq<StepType<F>> for StepType<F>"],["impl PartialEq<SharedSignal> for SharedSignal"],["impl PartialEq<ForwardSignal> for ForwardSignal"],["impl PartialEq<StepTypeHandler> for StepTypeHandler"]] };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 781441b0..f1a6843c 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<u32> for Constraint<F>"],["impl<F: From<u64>, V> From<u8> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<usize> for Constraint<F>"],["impl From<StepTypeHandler> for StepTypeDefInput"],["impl From<&'static str> for StepTypeDefInput"],["impl<F> From<Queriable<F>> for Constraint<F>"],["impl From<(Column, i32)> for SignalPlacement"],["impl<F, V> From<Expression<F>> for Expr<F, V>"],["impl<F> From<Constraint<F>> for ASTExpr<F>"],["impl<F, Args, D: Fn(&mut StepInstance<F>, Args) + 'static> From<&StepTypeWGHandler<F, Args, D>> for StepTypeHandler"],["impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>"],["impl From<SignalPlacement> for (Column, i32)"],["impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>"],["impl<F: From<u64> + Debug> From<bool> for Constraint<F>"],["impl<F> From<Queriable<F>> for ASTExpr<F>"],["impl<F: From<u64>, V> From<u32> for Expr<F, V>"],["impl<F: From<u64>, V> From<u64> for Expr<F, V>"],["impl<F: From<u64>, V> From<usize> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<u64> for Constraint<F>"],["impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>"],["impl<F: From<u64>, V> From<bool> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<u8> for Constraint<F>"]] +"chiquito":[["impl From<(Column, i32)> for SignalPlacement"],["impl<F: From<u64> + Debug> From<u64> for Constraint<F>"],["impl<F: Field + From<u64>, V> From<i32> for Expr<F, V>"],["impl<F: From<u64> + Debug> From<bool> for Constraint<F>"],["impl<F: From<u64>, V> From<bool> for Expr<F, V>"],["impl<F: From<u64>, V> From<u32> for Expr<F, V>"],["impl<F> From<Queriable<F>> for Constraint<F>"],["impl<F: From<u64> + Debug> From<u32> for Constraint<F>"],["impl<F: From<u64> + Debug> From<u8> for Constraint<F>"],["impl<F: From<u64>, V> From<u8> for Expr<F, V>"],["impl From<StepTypeHandler> for StepTypeDefInput"],["impl<F: Debug> From<Expr<F, Queriable<F>>> for Constraint<F>"],["impl<F> From<Queriable<F>> for ASTExpr<F>"],["impl<F, V> From<Expression<F>> for Expr<F, V>"],["impl<F: From<u64>, V> From<u64> for Expr<F, V>"],["impl<F, Args, D: Fn(&mut StepInstance<F>, Args) + 'static> From<&StepTypeWGHandler<F, Args, D>> for StepTypeHandler"],["impl<F> From<Constraint<F>> for ASTExpr<F>"],["impl From<SignalPlacement> for (Column, i32)"],["impl<F: From<u64>, V> From<usize> for Expr<F, V>"],["impl<F: Field + From<u64> + Debug> From<i32> for Constraint<F>"],["impl<F: From<u64> + Debug> From<usize> for Constraint<F>"],["impl From<&'static str> for StepTypeDefInput"]] };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 b5ff9b43..d3214959 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 for StepSelector<F>"],["impl<F> Default for LookupTableStore<F>"],["impl<F: Default> Default for Circuit<F>"],["impl Default for SimpleStepSelectorBuilder"],["impl Default for SingleRowCellManager"],["impl<F: Default> Default for StepInstance<F>"],["impl<F: Default> Default for TraceWitness<F>"],["impl Default for TwoStepsSelectorBuilder"],["impl<F> Default for MappingContext<F>"],["impl<F, TraceArgs> Default for TraceGenerator<F, TraceArgs>"],["impl<F> Default for Lookup<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2Circuit<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Clone, TraceArgs> Default for AssignmentGenerator<F, TraceArgs>"],["impl<F, MappingArgs> Default for SuperCircuit<F, MappingArgs>"],["impl<F> Default for Assignments<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2<F>"],["impl Default for MaxWidthCellManager"],["impl<F> Default for InPlaceLookupBuilder<F>"],["impl<F> Default for LookupTableRegistry<F>"],["impl<F, MappingArgs> Default for MappingGenerator<F, MappingArgs>"],["impl<F, TraceArgs> Default for Circuit<F, TraceArgs>"],["impl Default for Placement"],["impl<F, MappingArgs> Default for SuperCircuitContext<F, MappingArgs>"]] +"chiquito":[["impl Default for SimpleStepSelectorBuilder"],["impl<F, MappingArgs> Default for SuperCircuit<F, MappingArgs>"],["impl<F> Default for Lookup<F>"],["impl<F: Default> Default for TraceWitness<F>"],["impl<F, TraceArgs> Default for Circuit<F, TraceArgs>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2<F>"],["impl Default for Placement"],["impl<F> Default for Assignments<F>"],["impl<F, MappingArgs> Default for MappingGenerator<F, MappingArgs>"],["impl<F: Default> Default for Circuit<F>"],["impl Default for MaxWidthCellManager"],["impl<F> Default for LookupTableRegistry<F>"],["impl<F, TraceArgs> Default for TraceGenerator<F, TraceArgs>"],["impl<F: Clone, TraceArgs> Default for AssignmentGenerator<F, TraceArgs>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Default + Field + From<u64>> Default for ChiquitoHalo2Circuit<F>"],["impl<F> Default for InPlaceLookupBuilder<F>"],["impl Default for TwoStepsSelectorBuilder"],["impl<F> Default for LookupTableStore<F>"],["impl<F: Default> Default for StepInstance<F>"],["impl<F> Default for StepSelector<F>"],["impl<F> Default for MappingContext<F>"],["impl Default for SingleRowCellManager"],["impl<F, MappingArgs> Default for SuperCircuitContext<F, MappingArgs>"]] };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 c2dd8bc0..476f79bd 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 Debug for SingleRowCellManager"],["impl Debug for Column"],["impl<F: Debug> Debug for TransitionConstraint<F>"],["impl<F: Debug> Debug for StepInstance<F>"],["impl Debug for Placement"],["impl Debug for Typing"],["impl<F: Debug> Debug for StepType<F>"],["impl<F> Debug for Constraint<F>"],["impl<F: Debug> Debug for StepSelector<F>"],["impl Debug for StepPlacement"],["impl Debug for StepTypeHandler"],["impl Debug for TwoStepsSelectorBuilder"],["impl<F: Debug> Debug for Constraint<F>"],["impl<CT: Debug + ColumnType> Debug for ImportedHalo2Column<CT>"],["impl<F: Debug, V: Debug> Debug for Expr<F, V>"],["impl Debug for SimpleStepSelectorBuilder"],["impl Debug for SignalPlacement"],["impl Debug for ForwardSignal"],["impl<F> Debug for Queriable<F>"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2SuperCircuit<F>"],["impl<F: Debug> Debug for Circuit<F>"],["impl<F: Debug, TraceArgs: Debug> Debug for Circuit<F, TraceArgs>"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2<F>"],["impl<F: Debug> Debug for LookupTableRegistry<F>"],["impl<F: Debug> Debug for TraceContext<F>"],["impl<F: Debug> Debug for Assignments<F>"],["impl<F: Debug> Debug for TraceWitness<F>"],["impl Debug for MaxWidthCellManager"],["impl<F: Debug> Debug for PolyLookup<F>"],["impl<F: Debug> Debug for Poly<F>"],["impl Debug for LookupTable"],["impl Debug for ColumnType"],["impl<F: Debug + PrimeField> Debug for ChiquitoPlaf<F>"],["impl Debug for SharedSignal"],["impl Debug for ExposeOffset"],["impl Debug for FixedSignal"],["impl Debug for InternalSignal"],["impl<F: Debug> Debug for LookupTableStore<F>"],["impl<F: Debug, TraceArgs: Debug> Debug for CircuitContext<F, TraceArgs>"]] +"chiquito":[["impl Debug for SimpleStepSelectorBuilder"],["impl Debug for Column"],["impl Debug for ColumnType"],["impl<F> Debug for Queriable<F>"],["impl<F: Debug> Debug for TransitionConstraint<F>"],["impl Debug for LookupTable"],["impl Debug for SignalPlacement"],["impl<F: Debug> Debug for Circuit<F>"],["impl Debug for Placement"],["impl Debug for ExposeOffset"],["impl<F: Debug> Debug for StepType<F>"],["impl<F: Debug, TraceArgs: Debug> Debug for Circuit<F, TraceArgs>"],["impl Debug for FixedSignal"],["impl<F: Debug> Debug for LookupTableRegistry<F>"],["impl Debug for SharedSignal"],["impl Debug for TwoStepsSelectorBuilder"],["impl Debug for InternalSignal"],["impl<F: Debug> Debug for StepSelector<F>"],["impl Debug for SingleRowCellManager"],["impl<F: Debug, TraceArgs: Debug> Debug for CircuitContext<F, TraceArgs>"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2SuperCircuit<F>"],["impl Debug for StepTypeHandler"],["impl Debug for ForwardSignal"],["impl<F: Debug> Debug for TraceWitness<F>"],["impl<F> Debug for Constraint<F>"],["impl<F: Debug> Debug for Constraint<F>"],["impl Debug for MaxWidthCellManager"],["impl Debug for StepPlacement"],["impl<F: Debug> Debug for StepInstance<F>"],["impl<F: Debug> Debug for TraceContext<F>"],["impl<F: Debug + Field + From<u64>> Debug for ChiquitoHalo2<F>"],["impl<F: Debug> Debug for Poly<F>"],["impl<F: Debug + PrimeField> Debug for ChiquitoPlaf<F>"],["impl Debug for Typing"],["impl<CT: Debug + ColumnType> Debug for ImportedHalo2Column<CT>"],["impl<F: Debug> Debug for PolyLookup<F>"],["impl<F: Debug> Debug for Assignments<F>"],["impl<F: Debug> Debug for LookupTableStore<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/fmt/trait.Display.js b/docs/implementors/core/fmt/trait.Display.js index 515cf1a2..2e85b01b 100644 --- a/docs/implementors/core/fmt/trait.Display.js +++ b/docs/implementors/core/fmt/trait.Display.js @@ -1,3 +1,3 @@ (function() {var implementors = { -"chiquito":[["impl<F: Debug> Display for Assignments<F>"],["impl<F: Debug> Display for StepInstance<F>"],["impl<F: Debug> Display for TraceWitness<F>"]] +"chiquito":[["impl<F: Debug> Display for TraceWitness<F>"],["impl<F: Debug> Display for Assignments<F>"],["impl<F: Debug> Display for StepInstance<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/hash/trait.Hash.js b/docs/implementors/core/hash/trait.Hash.js index f4404847..4f9dd6d4 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 Hash for ColumnType"],["impl Hash for Column"],["impl<CT: Hash + ColumnType> Hash for ImportedHalo2Column<CT>"],["impl Hash for SharedSignal"],["impl Hash for FixedSignal"],["impl Hash for ForwardSignal"],["impl Hash for StepTypeHandler"],["impl Hash for InternalSignal"],["impl<F: Hash> Hash for Queriable<F>"],["impl<F> Hash for StepType<F>"]] +"chiquito":[["impl Hash for ColumnType"],["impl Hash for Column"],["impl Hash for FixedSignal"],["impl Hash for StepTypeHandler"],["impl Hash for InternalSignal"],["impl Hash for ForwardSignal"],["impl<F: Hash> Hash for Queriable<F>"],["impl<F> Hash for StepType<F>"],["impl Hash for SharedSignal"],["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 1be96106..2d595f45 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 ExposeOffset"],["impl Copy for LookupTable"],["impl<CT: Copy + ColumnType> Copy for ImportedHalo2Column<CT>"],["impl Copy for FixedSignal"],["impl<F: Copy> Copy for Queriable<F>"],["impl Copy for SharedSignal"],["impl Copy for ForwardSignal"],["impl Copy for InternalSignal"],["impl Copy for StepTypeHandler"]] +"chiquito":[["impl Copy for LookupTable"],["impl Copy for SharedSignal"],["impl<CT: Copy + ColumnType> Copy for ImportedHalo2Column<CT>"],["impl Copy for StepTypeHandler"],["impl Copy for ForwardSignal"],["impl Copy for ExposeOffset"],["impl<F: Copy> Copy for Queriable<F>"],["impl Copy for FixedSignal"],["impl Copy 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.StructuralEq.js b/docs/implementors/core/marker/trait.StructuralEq.js index 76b214bd..42e67bd6 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 StepTypeHandler"],["impl<F> StructuralEq for Queriable<F>"],["impl StructuralEq for ForwardSignal"],["impl StructuralEq for FixedSignal"],["impl<CT: ColumnType> StructuralEq for ImportedHalo2Column<CT>"],["impl StructuralEq for InternalSignal"],["impl StructuralEq for Typing"],["impl StructuralEq for SharedSignal"]] +"chiquito":[["impl StructuralEq for InternalSignal"],["impl StructuralEq for StepTypeHandler"],["impl StructuralEq for Typing"],["impl StructuralEq for FixedSignal"],["impl<CT: ColumnType> StructuralEq for ImportedHalo2Column<CT>"],["impl StructuralEq for ForwardSignal"],["impl StructuralEq for SharedSignal"],["impl<F> StructuralEq 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/marker/trait.StructuralPartialEq.js b/docs/implementors/core/marker/trait.StructuralPartialEq.js index 25c5780a..24035f7a 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<CT: ColumnType> StructuralPartialEq for ImportedHalo2Column<CT>"],["impl StructuralPartialEq for FixedSignal"],["impl StructuralPartialEq for Typing"],["impl StructuralPartialEq for InternalSignal"],["impl StructuralPartialEq for ForwardSignal"],["impl StructuralPartialEq for SharedSignal"],["impl StructuralPartialEq for StepTypeHandler"]] +"chiquito":[["impl StructuralPartialEq for Typing"],["impl<F> StructuralPartialEq for Queriable<F>"],["impl StructuralPartialEq for ForwardSignal"],["impl StructuralPartialEq for SharedSignal"],["impl StructuralPartialEq for InternalSignal"],["impl<CT: ColumnType> StructuralPartialEq for ImportedHalo2Column<CT>"],["impl StructuralPartialEq for FixedSignal"],["impl StructuralPartialEq for StepTypeHandler"]] };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 46a823a6..f7956875 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, V> Neg for Expr<F, V>"],["impl<F: Clone> Neg for Queriable<F>"]] +"chiquito":[["impl<F: Clone> Neg for Queriable<F>"],["impl<F, V> Neg 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/halo2_proofs/plonk/circuit/trait.Circuit.js b/docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js index 41f8ae4b..d91333c7 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 ChiquitoHalo2SuperCircuit<F>"],["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2Circuit<F>"]] +"chiquito":[["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2Circuit<F>"],["impl<F: Field + From<u64> + Hash> Circuit<F> for ChiquitoHalo2SuperCircuit<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 94a2ed0b..5467b4eb 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 TransitionConstraint<Fr>"],["impl<'de> Deserialize<'de> for ForwardSignal"],["impl<'de> Deserialize<'de> for StepInstance<Fr>"],["impl<'de> Deserialize<'de> for Lookup<Fr>"],["impl<'de> Deserialize<'de> for InternalSignal"],["impl<'de> Deserialize<'de> for TraceWitness<Fr>"],["impl<'de> Deserialize<'de> for Circuit<Fr, ()>"],["impl<'de> Deserialize<'de> for Constraint<Fr>"],["impl<'de> Deserialize<'de> for StepType<Fr>"],["impl<'de> Deserialize<'de> for ExposeOffset"],["impl<'de> Deserialize<'de> for StepTypeHandler"],["impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>"],["impl<'de> Deserialize<'de> for Queriable<Fr>"],["impl<'de> Deserialize<'de> for FixedSignal"],["impl<'de> Deserialize<'de> for SharedSignal"]] +"chiquito":[["impl<'de> Deserialize<'de> for StepType<Fr>"],["impl<'de> Deserialize<'de> for SharedSignal"],["impl<'de> Deserialize<'de> for ExposeOffset"],["impl<'de> Deserialize<'de> for InternalSignal"],["impl<'de> Deserialize<'de> for Circuit<Fr, ()>"],["impl<'de> Deserialize<'de> for ForwardSignal"],["impl<'de> Deserialize<'de> for Expr<Fr, Queriable<Fr>>"],["impl<'de> Deserialize<'de> for Queriable<Fr>"],["impl<'de> Deserialize<'de> for Lookup<Fr>"],["impl<'de> Deserialize<'de> for TransitionConstraint<Fr>"],["impl<'de> Deserialize<'de> for StepTypeHandler"],["impl<'de> Deserialize<'de> for TraceWitness<Fr>"],["impl<'de> Deserialize<'de> for FixedSignal"],["impl<'de> Deserialize<'de> for Constraint<Fr>"],["impl<'de> Deserialize<'de> for StepInstance<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 58c894cc..7150b41e 100644 --- a/docs/search-index.js +++ b/docs/search-index.js @@ -1,5 +1,5 @@ var searchIndex = JSON.parse('{\ -"chiquito":{"doc":"","t":"AAAAAAAGDDENGDDGDGDNDDNDGDLLLLLLLLLLLMMMMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMLLLLLLLMMMMMMMLLLLLLLLLLMLLLLLLLLLLLLLLMMLLLLLLMLLLLLLLLLLLLLLLLLLLLLLMMMLLLLLLLLLLMLLMALLMMMLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNNNNNENNNLLLLLLLLLLLLLLLLLLLLLLLLLLLLLISSKAADNDEDDDNLMMLLLLLLLLLLLLAFLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLALLLLLLLLLALLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMNNDENFFMLLLLLLLLLLLLLLFLMLLLLLLLLLLLLFLLLLFFFFFFFFFLLLLLLLLMFLLFFDIDDDDLLLLLLLLLLLLLLLKLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLFMLLLLRFFFAAAAADDDLLLLLLFFLLLLLLLLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLFLLLLLLLLLLLLLLLLDDLLLLFLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLALLFFFFLLLLLLALLLLLIDDDDDMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLMLLLLLMLLLLLLLLLLLLLLLLLLLLLKLLMLMLMLLLLLLLLLLLLLLLLLLLLLLLLLGDDIDLLLLLLKLLLLLLLLMLLLLLLLLLLLLLLLLLLLMMLLLLLLLLMMMLLLLLLLLLLLLLLLLNDDENNNDGDLMMMAMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLMMMLMLLLLLLLLLLMMLLMLLLLLLLLLLMLLMMALLALLLLLLLLLLLLLLLLLLLLLLLLLLDDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLGGDDGDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNENNNNNNIILLLLLLLLLKLKLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLLLGDDGDDDGLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLL","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","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_assignments","fixed_signals","fmt","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_assignments","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","compile","default","deref","deref_mut","drop","from","init","into","mapping","sub_circuit","sub_circuit_with_ast","super_circuit","tables","try_from","try_into","type_id","vzip","CIRCUIT_MAP","chiquito_ast_to_halo2","chiquito_halo2_mock_prover","chiquito_super_circuit_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","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","empty","fmt","fmt","from","from","generate","generate_with_witness","init","init","into","into","new","to_owned","to_owned","to_string","try_from","try_from","try_into","try_into","type_id","type_id","uuid","vzip","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","get_super_assignments","init","init","init","into","into","into","map","map_with_witness","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","clone_into","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","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","to_owned","to_string","to_string","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"],[288,"chiquito::ast::query"],[326,"chiquito::field"],[330,"chiquito::frontend"],[332,"chiquito::frontend::dsl"],[461,"chiquito::frontend::dsl::cb"],[526,"chiquito::frontend::dsl::lb"],[620,"chiquito::frontend::dsl::sc"],[640,"chiquito::frontend::python"],[644,"chiquito::plonkish"],[647,"chiquito::plonkish::backend"],[649,"chiquito::plonkish::backend::halo2"],[721,"chiquito::plonkish::backend::plaf"],[755,"chiquito::plonkish::compiler"],[777,"chiquito::plonkish::compiler::cell_manager"],[887,"chiquito::plonkish::compiler::step_selector"],[956,"chiquito::plonkish::ir"],[1076,"chiquito::plonkish::ir::assignments"],[1120,"chiquito::plonkish::ir::query"],[1121,"chiquito::plonkish::ir::sc"],[1177,"chiquito::poly"],[1219,"chiquito::stdlib"],[1235,"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 …","","Executes the fixed generation function provided by 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).","","","","","","","","","","","Parses JSON into ast::Circuit and compile. Generates a …","Runs MockProver for a single circuit given JSON of …","Compile a ChiquitoHalo2SuperCircuit object from a list of …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","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.","Returns the argument unchanged.","","","","","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.","","","","","","","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,3,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,24,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,48,48,48,0,0,0,49,0,0,0,0,0,49,44,50,20,49,46,44,50,47,20,49,46,44,50,47,20,0,0,20,20,46,44,49,46,44,50,47,20,49,46,44,50,47,20,20,49,46,44,50,47,20,20,47,47,47,47,20,47,47,49,49,49,46,44,50,47,20,20,20,47,47,49,46,44,50,47,20,46,49,46,44,50,47,20,0,46,50,47,20,20,47,47,47,47,0,46,47,47,47,47,20,47,46,44,49,46,44,50,47,20,49,46,44,50,47,20,49,46,44,50,47,20,50,20,49,46,44,50,47,20,46,50,58,58,0,0,58,0,0,35,35,58,35,58,35,58,35,58,35,58,35,58,35,58,0,58,35,35,58,35,35,35,35,35,35,35,35,35,58,0,35,58,35,58,0,0,0,0,0,0,0,0,0,35,58,35,58,35,58,35,58,35,0,35,58,0,0,0,0,0,0,0,0,61,52,51,63,53,61,63,52,51,53,61,63,52,51,53,45,61,63,52,51,53,52,51,53,61,52,51,61,63,52,51,53,61,63,52,51,53,61,63,52,51,53,61,52,51,53,61,63,52,51,53,51,61,63,52,51,53,61,63,52,51,53,52,51,53,61,63,52,51,53,61,63,52,51,53,61,63,52,51,53,52,61,63,52,51,53,63,53,0,64,64,64,64,64,64,64,64,64,64,64,64,64,0,64,64,64,64,64,0,0,0,0,0,0,0,0,0,0,0,0,74,75,77,74,75,77,0,0,74,75,74,75,74,75,77,74,75,77,74,74,75,77,74,75,77,74,75,77,74,75,77,74,77,74,75,77,74,75,77,75,77,74,75,77,74,75,77,75,77,74,75,77,0,74,75,74,75,77,74,75,77,74,75,77,74,75,77,75,77,0,0,86,85,86,85,0,85,85,86,85,86,85,86,85,85,86,85,86,85,86,85,86,85,85,85,86,85,86,85,86,85,86,85,0,68,68,0,68,68,0,0,0,0,68,68,68,68,68,68,0,68,68,68,68,68,0,0,0,0,0,0,91,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,91,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,91,91,91,89,90,91,92,93,91,89,89,90,91,92,93,91,91,91,89,90,91,92,93,89,90,91,92,93,89,93,66,92,93,89,91,91,91,91,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,0,0,0,0,0,96,94,95,96,94,95,67,94,95,96,94,95,96,94,95,96,96,94,95,96,94,95,96,94,95,96,94,95,96,94,95,96,94,95,96,95,95,96,94,95,96,94,95,96,96,96,96,96,96,94,95,96,94,95,96,94,95,96,94,95,96,96,94,95,99,0,0,0,99,99,99,0,0,0,83,83,100,101,0,73,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,83,73,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,83,73,100,101,83,73,73,99,83,100,101,73,99,83,100,101,83,83,99,83,73,73,99,83,100,101,73,99,83,100,101,73,83,83,83,73,0,83,98,0,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,83,73,99,83,100,101,0,0,69,78,69,78,69,78,69,78,69,78,69,78,78,69,78,78,69,78,69,78,78,69,78,69,69,69,78,69,78,69,69,78,78,69,78,69,78,69,78,69,69,78,0,0,0,0,0,0,65,65,105,104,65,105,104,104,104,65,105,104,65,105,104,65,105,104,65,105,104,65,105,104,104,65,65,105,65,105,104,65,105,104,105,105,104,65,104,65,105,104,65,105,104,65,105,104,65,105,104,107,0,107,107,107,107,107,107,0,0,107,107,107,107,107,107,107,107,107,115,107,116,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,0,109,109,109,109,109,109,109,109,109,109,109,109,109,109,109,0,0,0,0,0,0,0,0,112,113,111,111,103,113,111,102,112,103,113,111,102,112,103,111,102,103,111,102,103,111,102,103,113,111,102,112,103,113,111,102,112,111,102,103,113,111,102,112,111,111,102,102,112,103,113,111,102,112,103,113,112,103,113,111,102,112,103,113,111,102,112,103,113,111,112,112,102,111,103,111,102,111,102,103,113,111,102,112,103,113,111,102,112,103,113,111,102,112,103,113,111,102,112],"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,[[3,[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],[[24,33],34],[[19,33],34],[[[26,[[0,[1,25]]]],33],34],0,[[]],[35,5],[32,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,41]],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],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[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,43],32],[[[32,[2]],[8,[[5,[2]]]]]],[[]],[[],29],[[],29],[[],42],[32,36],[[]],0,0,0,[[]],0,0,0,0,0,0,0,0,0,0,[[[44,[[0,[1,2]]]],[45,[[0,[1,2]]]]]],0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,[[12,41],7],[20,20],[[]],[[46,[8,[35]]]],[[44,[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],[[47,32,24]],[[47,12],32],[[[47,[[0,[48,39]]]],41]],[[[47,[1,1]],33],34],[[20,33],34],[[47,12],32],[[47,12,10],32],[12,49],[20,49],[[]],[[]],[[]],[[]],[[]],[[[50,[41]]],20],[[]],[[20,38]],[[47,12,[14,[13]]],32],[[47,12,[14,[16]]],32],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[46,12],32],[[]],[[]],[[]],[[]],[[]],[[]],0,[[36,4,51],46],[[36,12,41],[[50,[41]]]],[[47,52],53],[[36,4],20],[20,32],[47],[[47,[8,[20]]]],[[47,[8,[20]]]],[[47,10]],0,[[46,41]],[[47,12],32],[[47,12,10],32],[[47,12],20],[[47,[8,[49]],54],[[50,[41]]]],[[]],[[47,41]],[[46,[8,[35]]]],[[44,[8,[35]]]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[[50,[41]]],36],[20,36],[[]],[[]],[[]],[[]],[[]],[[]],[[46,41],[[50,[41]]]],0,0,0,0,0,0,[55,[[35,[[57,[56]]]]]],[[4,[8,[5]],58],35],0,[[]],[[]],[[]],[[]],[[[35,[2]]],[[35,[2]]]],[58,58],[[]],[[]],[10],[10],[10],[10],[10],[10],[[[8,[35]],[8,[35]]],35],[[58,58],30],0,[[35,33],34],[[58,33],34],[59,[[35,[[0,[[57,[56]],1]]]]]],[56,[[35,[[0,[[57,[56]],1]]]]]],[32,35],[10,[[35,[[0,[[57,[56]],1]]]]]],[60,[[35,[[0,[[57,[56]],1]]]]]],[[[5,[1]]],[[35,[1]]]],[43,[[35,[[0,[48,[57,[56]],1]]]]]],[[]],[30,[[35,[[0,[[57,[56]],1]]]]]],[[]],[[[8,[20]],[8,[[35,[2]]]]],[[35,[2]]]],[[],10],[[],10],[[]],[[]],[[[8,[35]]],35],[[],[[61,[[0,[1,2]]]]]],[[[8,[20]]],[[35,[[57,[56]]]]]],[[[8,[20]]],[[35,[[57,[56]]]]]],[[[8,[[35,[[57,[56]]]]]]],[[35,[[57,[56]]]]]],[[[0,[55,2]]],[[35,[[0,[[57,[56]],1]]]]]],[[[0,[[8,[[5,[[57,[56]]]]]],2]]],[[5,[[57,[56]]]]]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[],[[52,[62]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],0,[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[]],[[]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],0,0,0,0,0,0,[[[61,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]],[8,[[5,[[0,[1,2]]]]]]],[[61,[[0,[1,2]]]]]],[[52,[8,[5]]],52],[[51,52]],[[63,[8,[35]]],63],[[53,[8,[35]]],63],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[44,3],[[61,44],3],[[[63,[[0,[2,1]]]],[44,[[0,[2,1]]]]],[[3,[[0,[2,1]]]]]],[[[52,[2]]],[[52,[2]]]],[51,51],[53,53],[[]],[[]],[[]],[[],61],[[],52],[[],51],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[61,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]]],[[61,[[0,[1,2]]]]]],[[[52,[1]],33],34],[[[51,[1]],33],34],[[53,33],34],[[]],[[]],[[]],[[]],[[]],[[[51,[2]],36],[[52,[2]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[52,36],[[]],[[]],[[]],[[]],[[]],[[63,[8,[35]]],63],[[53,[8,[35]]],63],0,[[]],[[]],[[[64,[[0,[48,39]]]]],[[65,[[0,[48,39]]]]]],[[],64],[10],[10],[10],[[]],[[],10],[[]],[[[64,[[0,[48,39]]]],41]],[[[64,[[0,[48,39]]]],[68,[66,67]],41]],[[[64,[[0,[48,39]]]],[68,[66,67]],[7,[[0,[48,39]]]]],[[69,[[0,[48,39]]]]]],[[12,41],[[65,[[0,[48,39]]]]]],0,[[],29],[[],29],[[],42],[[]],0,[12,36],[[12,36]],[[[70,[36]],[71,[36,12]]]],0,0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[73,[[0,[72,[57,[56]],39]]]]],[[74,[[0,[72,[57,[56]],39]]]]]],[[[65,[[0,[72,[57,[56]],39]]]]],[[70,[[74,[[0,[72,[57,[56]],39]]]]]]]],[[[74,[[0,[2,72,[57,[56]]]]]]],[[74,[[0,[2,72,[57,[56]]]]]]]],[[[75,[[0,[2,72,[57,[56]]]]]]],[[75,[[0,[2,72,[57,[56]]]]]]]],[[]],[[]],[[[74,[[0,[72,[57,[56]],39]]]],[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],0,[[],[[74,[[0,[62,72,[57,[56]]]]]]]],[[],[[75,[[0,[62,72,[57,[56]]]]]]]],[[],[[77,[[0,[62,72,[57,[56]]]]]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[74,[[0,[1,72,[57,[56]]]]]],33],34],[[[77,[[0,[1,72,[57,[56]]]]]],33],34],[[]],[[]],[[]],[[],10],[[],10],[[],10],[[[75,[[0,[72,[57,[56]],39]]]]],[[70,[[70,[[0,[72,[57,[56]],39]]]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]],[[70,[[70,[[0,[72,[57,[56]],39]]]]]]]],[[]],[[]],[[]],[[[73,[[0,[72,[57,[56]],39]]]]],[[74,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[79,[[78,[[0,[72,[57,[56]],39]]]]]]],[[75,[[0,[72,[57,[56]],39]]]]]],[[[70,[[74,[[0,[72,[57,[56]],39]]]]]],[80,[[0,[72,[57,[56]],39]]]]],[[77,[[0,[72,[57,[56]],39]]]]]],[[[75,[[0,[72,[57,[56]],39]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]],[79,[[78,[[0,[72,[57,[56]],39]]]]]]]],[[[75,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]]],[[29,[82]]]],[[[77,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]]],[[29,[82]]]],[[[76,[72]],83],[[14,[13]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[[75,[[0,[72,[57,[56]],39]]]]],[[75,[[0,[72,[57,[56]],39]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]],[[77,[[0,[72,[57,[56]],39]]]]]],0,0,[[]],[[]],[[]],[[]],[[[73,[84]],59,30]],[[[85,[[0,[2,84]]]]],[[85,[[0,[2,84]]]]]],[[]],[10],[10],[10],[10],[10],[10],[[[85,[[0,[1,84]]]],33],34],[[]],[[]],[[86,[79,[[78,[[0,[84,39]]]]]]],87],[[[85,[84]],59],88],[[],10],[[],10],[[]],[[]],[[[73,[84]],30],[[85,[84]]]],[[]],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[]],[[]],0,[[]],[[]],0,[[[68,[[0,[2,66]],[0,[2,67]]]]],[[68,[[0,[2,66]],[0,[2,67]]]]]],[[]],[[[68,[66,67]],[7,[[0,[48,39,2]]]]]],[[[68,[66,67]],[7,[[0,[48,39,2]]]]]],[[[0,[[0,[48,2]]]]]],[[66,67],[[68,[66,67]]]],[10],[10],[10],[[]],[[],10],[[]],0,[[]],[[],29],[[],29],[[],42],[[]],0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[89,89],[90,90],[91,91],[92,92],[93,93],[[]],[[]],[[]],[[]],[[]],0,0,[[],91],[[],92],[[],93],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[91,21,19],89],[91,59],0,[[89,33],34],[[90,33],34],[[91,33],34],[[92,33],34],[[93,33],34],0,[[]],[[],89],[[]],[[]],[[]],[[]],[[91,9],[[79,[89]]]],[[91,11],[[79,[89]]]],[[91,18],[[79,[89]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[83,43],89],[[10,30],93],0,0,0,0,[91,30],0,[[91,21],59],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[]],[[]],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[0,[48]]]],[[94,[0,[48]]]],[[95,[0,[48]]]],[[[96,[2]]],[[96,[2]]]],[94,94],[95,95],[[]],[[]],[[]],0,[[],96],[[],94],[[],95],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[96,[1]],33],34],[[94,33],34],[[95,33],34],[[]],[[]],[[]],[[[96,[2]],21],[[70,[[97,[2]]]]]],0,0,[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[96,[2]],21,59],[[98,[2]]]],[[[96,[2]],21,[98,[2]]],[[98,[2]]]],0,0,0,[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[[96,[2]],21],[[98,[2]]]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[[8,[4]],10],83],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[73,[2]]],[[73,[2]]]],[99,99],[83,83],[[[100,[2]]],[[100,[2]]]],[[[101,[2]]],[[101,[2]]]],[[]],[[]],[[]],[[]],[[]],0,0,[[],[[73,[62]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[83,83],30],0,0,0,[[[8,[4]]],83],0,[[[73,[1]],33],34],[[99,33],34],[[83,33],34],[[[100,[1]],33],34],[[[101,[1]],33],34],[[]],[[]],[[]],[[]],[[]],0,0,[[99,38]],[[83,38]],0,[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],0,[[[8,[4]],15],83],[[[8,[4]],17],83],0,0,0,[[83,43,[8,[4]]],98],[[[98,[2]],43],[[98,[2]]]],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[83,36],[[]],[[]],[[]],[[]],[[]],0,0,[[]],[[]],[[]],[[]],[[[69,[2]]],[[69,[2]]]],[[[78,[2]]],[[78,[2]]]],[[]],[[]],[[],[[69,[2]]]],[[],78],[10],[10],[78],[10],[78],[10],[10],[10],[36,[[69,[48]]]],[[[78,[1]],33],34],[[[78,[1]],33],34],[[]],[[]],[[[69,[48]]],[[78,[48]]]],[[[69,[48]],[102,[48]]],[[78,[48]]]],[[],10],[[],10],[[]],[[]],[[[70,[83]],91,[96,[48]],[103,[48]],10,36],[[69,[48]]]],[[]],[[]],[[],4],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[[69,[48]]],36],[[]],[[]],0,0,0,0,0,0,[[65,73]],[[]],[[]],[[]],[[]],[[]],[[]],[104,104],[[]],[[],65],[[],105],[[],104],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[]],[[]],[[]],[[[104,[48]]],[[80,[48]]]],[65,104],[[[65,[2]]],[[70,[[73,[2]]]]]],[[[105,[48]]],[[80,[48]]]],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[105,[48]],[69,[48]]]],[[[105,[48]],[69,[48]],[102,[48]]]],[[[37,[[106,[48]]]]],[[104,[48]]]],[[[65,[48]],41]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[107,[8,[107]]],107],[[]],[[]],[[[107,[2,2]]],[[107,[2,2]]]],[[]],[10],[10],[27,[[29,[[107,[28,[32,[28]]]]]]]],[10],[[],107],[[[107,[2,2]]],[[107,[2,2]]]],[[]],[[[107,[1,1]],33],34],[10,[[107,[[57,[56]]]]]],[43,[[107,[[0,[48,[57,[56]]]]]]]],[[]],[108,107],[60,[[107,[[57,[56]]]]]],[30,[[107,[[57,[56]]]]]],[59,[[107,[[57,[56]]]]]],[56,[[107,[[57,[56]]]]]],[[],10],[[]],[[107,[8,[107]]],107],[107,107],[[[107,[2]],43],[[98,[2]]]],[[107,[8,[107]]],107],[[]],[[],29],[[],29],[[],42],[[]],0,[[]],[[]],[10],[10],[10],[[]],[[],10],[[]],[[[109,[[0,[48,[57,[56]]]]]]],[[35,[[0,[48,[57,[56]]]]]]]],[[[46,[[0,[48,[57,[56]]]]]],[8,[[35,[[0,[48,[57,[56]]]]]]]],[32,[[0,[48,[57,[56]]]]]]],[[109,[[0,[48,[57,[56]]]]]]]],[[],29],[[],29],[[],42],[[]],[[[109,[[0,[48,110,39]]]],[111,[[0,[48,110,39]]]],[0,[48,110,39]]]],0,0,0,0,0,0,0,0,[[112,[50,[41]]]],[[[113,[[0,[48,39]]]],10,[32,[[0,[48,39]]]],[0,[48,39]]]],[[[111,[[0,[110,39]]]],[32,[[0,[110,39]]]],[0,[110,39]]]],0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[103,103],[[[111,[2]]],[[111,[2]]]],[[[102,[2]]],[[102,[2]]]],[[]],[[]],[[]],[[],103],[[],[[111,[62]]]],[[],[[102,[62]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[111,[28]]]]]],[27,[[29,[[102,[28]]]]]],[10],[10],[10],[10],[10],[[[111,[1]],33],34],[[[111,[1]],33],34],[[[102,[1]],33],34],[[[102,[1]],33],34],[[[112,[1]],33],34],[[]],[[]],[[]],[[]],[[]],[[[103,[62]]],[[102,[62]]]],[[[113,[[0,[48,39]]]]],[[40,[[0,[48,39]]]]]],[[[112,[62]]],[[102,[62]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[[37,[[114,[62]]]],10],[[103,[62]]]],[10,[[113,[[0,[48,39]]]]]],[21,111],[10,[[112,[62]]]],[[112,[50,[41]],41]],0,0,[[]],[[]],[[]],[[],4],[[],4],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[]],[[]]],"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"],[6,"FixedAssignment"],[8,"Fn"],[3,"TypeId"],[15,"i32"],[3,"StepTypeSetupContext"],[8,"LookupBuilder"],[3,"StepTypeContext"],[3,"CircuitContext"],[8,"Field"],[4,"StepTypeDefInput"],[3,"StepTypeWGHandler"],[3,"LookupTableRegistry"],[3,"LookupTableStore"],[3,"LookupTable"],[8,"FnOnce"],[8,"IntoIterator"],[15,"u64"],[8,"From"],[4,"Typing"],[15,"u32"],[15,"u8"],[3,"InPlaceLookupBuilder"],[8,"Default"],[3,"LookupTableBuilder"],[3,"SuperCircuitContext"],[3,"SuperCircuit"],[8,"CellManager"],[8,"StepSelectorBuilder"],[3,"CompilerConfig"],[3,"AssignmentGenerator"],[3,"Vec"],[3,"HashMap"],[8,"Field"],[3,"Circuit"],[3,"ChiquitoHalo2"],[3,"ChiquitoHalo2Circuit"],[3,"ConstraintSystem"],[3,"ChiquitoHalo2SuperCircuit"],[3,"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,"TraceWitness"],[3,"TraceGenerator"],[3,"MappingGenerator"],[3,"MappingContext"],[6,"Mapping"],[4,"Expr"],[4,"Expression"],[3,"IsZero"],[8,"Eq"],[3,"StepInstance"],[3,"TraceContext"],[3,"FixedGenContext"],[6,"Trace"],[8,"ToExpr"],[8,"ToField"]]}\ +"chiquito":{"doc":"","t":"AAAAAAAGDDENGDDGDGDNDDNDGDLLLLLLLLLLLMMMMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMLLLLLLLMMMMMMMLLLLLLLLLLMLLLLLLLLLLLLLLMMLLLLLLMLLLLLLLLLLLLLLLLLLLLLLMMMLLLLLLLLLLMLLMALLMMMLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNNNNNENNNLLLLLLLLLLLLLLLLLLLLLLLLLLLLLISSKAADNDEDDDNLMMLLLLLLLLLLLLAFLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLALLLLLLLLLALLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMNNDENFFMLLLLLLLLLLLLLLFLMLLLLLLLLLLLLFLLLLFFFFFFFFFLLLLLLLLMFLLFFDIDDDDLLLLLLLLLLLLLLLKLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLFMLLLLRFFFAAAAADDDLLLLLLFFLLLLLLLLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLFLLLLLLLLLLLLLLLLDDLLLLFLLLLLLLLLLLLLLLLLLLLLLLLLLLDLLALLFFFFLLLLLLALLLLLIDDDDDMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLMLLLLLMLLLLLLLLLLLLLLLLLLLLLKLLMLMLMLLLLLLLLLLLLLLLLLLLLLLLLLGDDIDLLLLLLKLLLLLLLLMLLLLLLLLLLLLLLLLLLLMMLLLLLLLLMMMLLLLLLLLLLLLLLLLNDDENNNDGDLMMMAMLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLMMMLMLLLLLLLLLLMMLLMLLLLLLLLLLMLLMMALLALLLLLLLLLLLLLLLLLLLLLLLLLLDDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLGGDDGDLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLNENNNNNNIILLLLLLLLLKLKLLLLLLLLLLLLLLLLLLLLDLLLLLLLLLLLLLLLGDDGDDDGLLLMLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLMMLLLLLLLLLLLLLLLLLLLLLLLLL","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","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_assignments","fixed_signals","fmt","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_assignments","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","compile","default","deref","deref_mut","drop","from","init","into","mapping","sub_circuit","sub_circuit_with_ast","super_circuit","tables","try_from","try_into","type_id","vzip","CIRCUIT_MAP","chiquito_ast_to_halo2","chiquito_halo2_mock_prover","chiquito_super_circuit_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","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","default","default","deref","deref","deref","deref_mut","deref_mut","deref_mut","drop","drop","empty","fmt","fmt","from","from","generate","generate_with_witness","init","init","into","into","new","to_owned","to_owned","to_string","try_from","try_from","try_into","try_into","type_id","type_id","uuid","vzip","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","get_super_assignments","init","init","init","into","into","into","map","map_with_witness","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","clone_into","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","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","to_owned","to_string","to_string","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"],[288,"chiquito::ast::query"],[326,"chiquito::field"],[330,"chiquito::frontend"],[332,"chiquito::frontend::dsl"],[461,"chiquito::frontend::dsl::cb"],[526,"chiquito::frontend::dsl::lb"],[620,"chiquito::frontend::dsl::sc"],[640,"chiquito::frontend::python"],[644,"chiquito::plonkish"],[647,"chiquito::plonkish::backend"],[649,"chiquito::plonkish::backend::halo2"],[721,"chiquito::plonkish::backend::plaf"],[755,"chiquito::plonkish::compiler"],[777,"chiquito::plonkish::compiler::cell_manager"],[887,"chiquito::plonkish::compiler::step_selector"],[956,"chiquito::plonkish::ir"],[1076,"chiquito::plonkish::ir::assignments"],[1120,"chiquito::plonkish::ir::query"],[1121,"chiquito::plonkish::ir::sc"],[1177,"chiquito::poly"],[1219,"chiquito::stdlib"],[1235,"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 …","","Executes the fixed generation function provided by 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).","","","","","","","","","","","Parses JSON into ast::Circuit and compile. Generates a …","Runs MockProver for a single circuit given JSON of …","Compile a ChiquitoHalo2SuperCircuit object from a list of …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","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.","Returns the argument unchanged.","","","","","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.","","","","","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,3,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,24,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,48,48,48,0,0,0,49,0,0,0,0,0,49,44,50,20,49,46,44,50,47,20,49,46,44,50,47,20,0,0,20,20,46,44,49,46,44,50,47,20,49,46,44,50,47,20,20,49,46,44,50,47,20,20,47,47,47,47,20,47,47,49,49,49,46,44,50,47,20,20,20,47,47,49,46,44,50,47,20,46,49,46,44,50,47,20,0,46,50,47,20,20,47,47,47,47,0,46,47,47,47,47,20,47,46,44,49,46,44,50,47,20,49,46,44,50,47,20,49,46,44,50,47,20,50,20,49,46,44,50,47,20,46,50,58,58,0,0,58,0,0,35,35,58,35,58,35,58,35,58,35,58,35,58,35,58,0,58,35,35,58,35,35,35,35,35,35,35,35,35,58,0,35,58,35,58,0,0,0,0,0,0,0,0,0,35,58,35,58,35,58,35,58,35,0,35,58,0,0,0,0,0,0,0,0,61,52,51,63,53,61,63,52,51,53,61,63,52,51,53,45,61,63,52,51,53,52,51,53,61,52,51,61,63,52,51,53,61,63,52,51,53,61,63,52,51,53,61,52,51,53,61,63,52,51,53,51,61,63,52,51,53,61,63,52,51,53,52,51,53,61,63,52,51,53,61,63,52,51,53,61,63,52,51,53,52,61,63,52,51,53,63,53,0,64,64,64,64,64,64,64,64,64,64,64,64,64,0,64,64,64,64,64,0,0,0,0,0,0,0,0,0,0,0,0,74,75,77,74,75,77,0,0,74,75,74,75,74,75,77,74,75,77,74,74,75,77,74,75,77,74,75,77,74,75,77,74,77,74,75,77,74,75,77,75,77,74,75,77,74,75,77,75,77,74,75,77,0,74,75,74,75,77,74,75,77,74,75,77,74,75,77,75,77,0,0,86,85,86,85,0,85,85,86,85,86,85,86,85,85,86,85,86,85,86,85,86,85,85,85,86,85,86,85,86,85,86,85,0,68,68,0,68,68,0,0,0,0,68,68,68,68,68,68,0,68,68,68,68,68,0,0,0,0,0,0,91,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,91,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,91,91,91,89,90,91,92,93,91,89,89,90,91,92,93,91,91,91,89,90,91,92,93,89,90,91,92,93,89,93,66,92,93,89,91,91,91,91,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,89,90,91,92,93,0,0,0,0,0,96,94,95,96,94,95,67,94,95,96,94,95,96,94,95,96,96,94,95,96,94,95,96,94,95,96,94,95,96,94,95,96,94,95,96,95,95,96,94,95,96,94,95,96,96,96,96,96,96,94,95,96,94,95,96,94,95,96,94,95,96,96,94,95,99,0,0,0,99,99,99,0,0,0,83,83,100,101,0,73,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,83,73,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,83,73,100,101,83,73,73,99,83,100,101,73,99,83,100,101,83,83,99,83,73,73,99,83,100,101,73,99,83,100,101,73,83,83,83,73,0,83,98,0,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,73,99,83,100,101,83,73,99,83,100,101,0,0,69,78,69,78,69,78,69,78,69,78,69,78,78,69,78,78,69,78,69,78,78,69,78,69,69,69,78,69,78,69,69,78,78,69,78,69,78,69,78,69,69,78,0,0,0,0,0,0,65,65,105,104,65,105,104,104,104,65,105,104,65,105,104,65,105,104,65,105,104,65,105,104,104,65,65,105,65,105,104,65,105,104,105,105,104,65,104,65,105,104,65,105,104,65,105,104,65,105,104,107,0,107,107,107,107,107,107,0,0,107,107,107,107,107,107,107,107,107,115,107,116,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,107,0,109,109,109,109,109,109,109,109,109,109,109,109,109,109,109,0,0,0,0,0,0,0,0,112,113,111,111,103,113,111,102,112,103,113,111,102,112,103,111,102,103,111,102,103,111,102,103,113,111,102,112,103,113,111,102,112,111,102,103,113,111,102,112,111,111,102,102,112,103,113,111,102,112,103,113,112,103,113,111,102,112,103,113,111,102,112,103,113,111,112,112,102,111,103,111,102,111,102,103,113,111,102,112,103,113,111,102,112,103,113,111,102,112,103,113,111,102,112],"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,[[3,[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],[[24,33],34],[[19,33],34],[[[26,[[0,[1,25]]]],33],34],0,[[]],[35,5],[32,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,41]],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],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[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,43],32],[[[32,[2]],[8,[[5,[2]]]]]],[[]],[[],29],[[],29],[[],42],[32,36],[[]],0,0,0,[[]],0,0,0,0,0,0,0,0,0,0,[[[44,[[0,[1,2]]]],[45,[[0,[1,2]]]]]],0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],0,[[12,41],7],[20,20],[[]],[[46,[8,[35]]]],[[44,[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],[[47,32,24]],[[47,12],32],[[[47,[[0,[48,39]]]],41]],[[[47,[1,1]],33],34],[[20,33],34],[[47,12],32],[[47,12,10],32],[[]],[20,49],[12,49],[[]],[[]],[[]],[[]],[[]],[[[50,[41]]],20],[[20,38]],[[47,12,[14,[13]]],32],[[47,12,[14,[16]]],32],[[],10],[[],10],[[],10],[[],10],[[],10],[[],10],[[46,12],32],[[]],[[]],[[]],[[]],[[]],[[]],0,[[36,4,51],46],[[36,12,41],[[50,[41]]]],[[47,52],53],[[36,4],20],[20,32],[47],[[47,[8,[20]]]],[[47,[8,[20]]]],[[47,10]],0,[[46,41]],[[47,12],32],[[47,12,10],32],[[47,12],20],[[47,[8,[49]],54],[[50,[41]]]],[[]],[[47,41]],[[46,[8,[35]]]],[[44,[8,[35]]]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[],42],[[[50,[41]]],36],[20,36],[[]],[[]],[[]],[[]],[[]],[[]],[[46,41],[[50,[41]]]],0,0,0,0,0,0,[55,[[35,[[57,[56]]]]]],[[4,[8,[5]],58],35],0,[[]],[[]],[[]],[[]],[[[35,[2]]],[[35,[2]]]],[58,58],[[]],[[]],[10],[10],[10],[10],[10],[10],[[[8,[35]],[8,[35]]],35],[[58,58],30],0,[[35,33],34],[[58,33],34],[[]],[43,[[35,[[0,[48,[57,[56]],1]]]]]],[56,[[35,[[0,[[57,[56]],1]]]]]],[30,[[35,[[0,[[57,[56]],1]]]]]],[[[5,[1]]],[[35,[1]]]],[32,35],[59,[[35,[[0,[[57,[56]],1]]]]]],[60,[[35,[[0,[[57,[56]],1]]]]]],[10,[[35,[[0,[[57,[56]],1]]]]]],[[]],[[[8,[20]],[8,[[35,[2]]]]],[[35,[2]]]],[[],10],[[],10],[[]],[[]],[[[8,[35]]],35],[[],[[61,[[0,[1,2]]]]]],[[[8,[20]]],[[35,[[57,[56]]]]]],[[[8,[20]]],[[35,[[57,[56]]]]]],[[[8,[[35,[[57,[56]]]]]]],[[35,[[57,[56]]]]]],[[[0,[55,2]]],[[35,[[0,[[57,[56]],1]]]]]],[[[0,[[8,[[5,[[57,[56]]]]]],2]]],[[5,[[57,[56]]]]]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[],[[52,[62]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],0,[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[]],[[]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],[[[8,[[35,[[0,[[57,[56]],2]]]]]],[8,[[35,[[0,[[57,[56]],2]]]]]]],[[35,[[0,[[57,[56]],2]]]]]],0,0,0,0,0,0,[[[61,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]],[8,[[5,[[0,[1,2]]]]]]],[[61,[[0,[1,2]]]]]],[[52,[8,[5]]],52],[[51,52]],[[63,[8,[35]]],63],[[53,[8,[35]]],63],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[44,3],[[61,44],3],[[[63,[[0,[2,1]]]],[44,[[0,[2,1]]]]],[[3,[[0,[2,1]]]]]],[[[52,[2]]],[[52,[2]]]],[51,51],[53,53],[[]],[[]],[[]],[[],61],[[],52],[[],51],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[61,[[0,[1,2]]]],[8,[[35,[[0,[1,2]]]]]]],[[61,[[0,[1,2]]]]]],[[[52,[1]],33],34],[[[51,[1]],33],34],[[53,33],34],[[]],[[]],[[]],[[]],[[]],[[[51,[2]],36],[[52,[2]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[52,36],[[]],[[]],[[]],[[]],[[]],[[63,[8,[35]]],63],[[53,[8,[35]]],63],0,[[]],[[]],[[[64,[[0,[48,39]]]]],[[65,[[0,[48,39]]]]]],[[],64],[10],[10],[10],[[]],[[],10],[[]],[[[64,[[0,[48,39]]]],41]],[[[64,[[0,[48,39]]]],[68,[66,67]],41]],[[[64,[[0,[48,39]]]],[68,[66,67]],[7,[[0,[48,39]]]]],[[69,[[0,[48,39]]]]]],[[12,41],[[65,[[0,[48,39]]]]]],0,[[],29],[[],29],[[],42],[[]],0,[12,36],[[12,36]],[[[70,[36]],[71,[36,12]]]],0,0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[73,[[0,[72,[57,[56]],39]]]]],[[74,[[0,[72,[57,[56]],39]]]]]],[[[65,[[0,[72,[57,[56]],39]]]]],[[70,[[74,[[0,[72,[57,[56]],39]]]]]]]],[[[74,[[0,[2,72,[57,[56]]]]]]],[[74,[[0,[2,72,[57,[56]]]]]]]],[[[75,[[0,[2,72,[57,[56]]]]]]],[[75,[[0,[2,72,[57,[56]]]]]]]],[[]],[[]],[[[74,[[0,[72,[57,[56]],39]]]],[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],[[[76,[[0,[72,[57,[56]],39]]]]]],0,[[],[[74,[[0,[62,72,[57,[56]]]]]]]],[[],[[75,[[0,[62,72,[57,[56]]]]]]]],[[],[[77,[[0,[62,72,[57,[56]]]]]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[74,[[0,[1,72,[57,[56]]]]]],33],34],[[[77,[[0,[1,72,[57,[56]]]]]],33],34],[[]],[[]],[[]],[[],10],[[],10],[[],10],[[[75,[[0,[72,[57,[56]],39]]]]],[[70,[[70,[[0,[72,[57,[56]],39]]]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]],[[70,[[70,[[0,[72,[57,[56]],39]]]]]]]],[[]],[[]],[[]],[[[73,[[0,[72,[57,[56]],39]]]]],[[74,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[79,[[78,[[0,[72,[57,[56]],39]]]]]]],[[75,[[0,[72,[57,[56]],39]]]]]],[[[70,[[74,[[0,[72,[57,[56]],39]]]]]],[80,[[0,[72,[57,[56]],39]]]]],[[77,[[0,[72,[57,[56]],39]]]]]],[[[75,[[0,[72,[57,[56]],39]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]]],[[[74,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]],[79,[[78,[[0,[72,[57,[56]],39]]]]]]]],[[[75,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]]],[[29,[82]]]],[[[77,[[0,[72,[57,[56]],39]]]],[81,[[0,[72,[57,[56]],39]]]]],[[29,[82]]]],[[[76,[72]],83],[[14,[13]]]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[[75,[[0,[72,[57,[56]],39]]]]],[[75,[[0,[72,[57,[56]],39]]]]]],[[[77,[[0,[72,[57,[56]],39]]]]],[[77,[[0,[72,[57,[56]],39]]]]]],0,0,[[]],[[]],[[]],[[]],[[[73,[84]],59,30]],[[[85,[[0,[2,84]]]]],[[85,[[0,[2,84]]]]]],[[]],[10],[10],[10],[10],[10],[10],[[[85,[[0,[1,84]]]],33],34],[[]],[[]],[[86,[79,[[78,[[0,[84,39]]]]]]],87],[[[85,[84]],59],88],[[],10],[[],10],[[]],[[]],[[[73,[84]],30],[[85,[84]]]],[[]],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[]],[[]],0,[[]],[[]],0,[[[68,[[0,[2,66]],[0,[2,67]]]]],[[68,[[0,[2,66]],[0,[2,67]]]]]],[[]],[[[68,[66,67]],[7,[[0,[48,39,2]]]]]],[[[68,[66,67]],[7,[[0,[48,39,2]]]]]],[[[0,[[0,[48,2]]]]]],[[66,67],[[68,[66,67]]]],[10],[10],[10],[[]],[[],10],[[]],0,[[]],[[],29],[[],29],[[],42],[[]],0,0,0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[89,89],[90,90],[91,91],[92,92],[93,93],[[]],[[]],[[]],[[]],[[]],0,0,[[],91],[[],92],[[],93],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[91,21,19],89],[91,59],0,[[89,33],34],[[90,33],34],[[91,33],34],[[92,33],34],[[93,33],34],0,[[],89],[[]],[[]],[[]],[[]],[[]],[[91,9],[[79,[89]]]],[[91,11],[[79,[89]]]],[[91,18],[[79,[89]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[83,43],89],[[10,30],93],0,0,0,0,[91,30],0,[[91,21],59],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[]],[[]],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[[0,[48]]]],[[94,[0,[48]]]],[[95,[0,[48]]]],[[[96,[2]]],[[96,[2]]]],[94,94],[95,95],[[]],[[]],[[]],0,[[],96],[[],94],[[],95],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[[96,[1]],33],34],[[94,33],34],[[95,33],34],[[]],[[]],[[]],[[[96,[2]],21],[[70,[[97,[2]]]]]],0,0,[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[96,[2]],21,59],[[98,[2]]]],[[[96,[2]],21,[98,[2]]],[[98,[2]]]],0,0,0,[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[[96,[2]],21],[[98,[2]]]],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[[8,[4]],10],83],0,0,0,0,0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[[73,[2]]],[[73,[2]]]],[99,99],[83,83],[[[100,[2]]],[[100,[2]]]],[[[101,[2]]],[[101,[2]]]],[[]],[[]],[[]],[[]],[[]],0,0,[[],[[73,[62]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[83,83],30],0,0,0,[[[8,[4]]],83],0,[[[73,[1]],33],34],[[99,33],34],[[83,33],34],[[[100,[1]],33],34],[[[101,[1]],33],34],[[]],[[]],[[]],[[]],[[]],0,0,[[99,38]],[[83,38]],0,[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],0,[[[8,[4]],15],83],[[[8,[4]],17],83],0,0,0,[[83,43,[8,[4]]],98],[[[98,[2]],43],[[98,[2]]]],0,[[]],[[]],[[]],[[]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[83,36],[[]],[[]],[[]],[[]],[[]],0,0,[[]],[[]],[[]],[[]],[[[69,[2]]],[[69,[2]]]],[[[78,[2]]],[[78,[2]]]],[[]],[[]],[[],[[69,[2]]]],[[],78],[10],[10],[78],[10],[10],[78],[10],[10],[36,[[69,[48]]]],[[[78,[1]],33],34],[[[78,[1]],33],34],[[]],[[]],[[[69,[48]]],[[78,[48]]]],[[[69,[48]],[102,[48]]],[[78,[48]]]],[[],10],[[],10],[[]],[[]],[[[70,[83]],91,[96,[48]],[103,[48]],10,36],[[69,[48]]]],[[]],[[]],[[],4],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[[69,[48]]],36],[[]],[[]],0,0,0,0,0,0,[[65,73]],[[]],[[]],[[]],[[]],[[]],[[]],[104,104],[[]],[[],65],[[],105],[[],104],[10],[10],[10],[10],[10],[10],[10],[10],[10],[[]],[[]],[[]],[[[104,[48]]],[[80,[48]]]],[65,104],[[[65,[2]]],[[70,[[73,[2]]]]]],[[[105,[48]]],[[80,[48]]]],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[[105,[48]],[69,[48]]]],[[[105,[48]],[69,[48]],[102,[48]]]],[[[37,[[106,[48]]]]],[[104,[48]]]],[[[65,[48]],41]],[[]],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[]],[[]],[[]],0,0,0,0,0,0,0,0,0,0,[[107,[8,[107]]],107],[[]],[[]],[[[107,[2,2]]],[[107,[2,2]]]],[[]],[10],[10],[27,[[29,[[107,[28,[32,[28]]]]]]]],[10],[[],107],[[[107,[2,2]]],[[107,[2,2]]]],[[]],[[[107,[1,1]],33],34],[59,[[107,[[57,[56]]]]]],[43,[[107,[[0,[48,[57,[56]]]]]]]],[60,[[107,[[57,[56]]]]]],[30,[[107,[[57,[56]]]]]],[[]],[108,107],[56,[[107,[[57,[56]]]]]],[10,[[107,[[57,[56]]]]]],[[],10],[[]],[[107,[8,[107]]],107],[107,107],[[[107,[2]],43],[[98,[2]]]],[[107,[8,[107]]],107],[[]],[[],29],[[],29],[[],42],[[]],0,[[]],[[]],[10],[10],[10],[[]],[[],10],[[]],[[[109,[[0,[48,[57,[56]]]]]]],[[35,[[0,[48,[57,[56]]]]]]]],[[[46,[[0,[48,[57,[56]]]]]],[8,[[35,[[0,[48,[57,[56]]]]]]]],[32,[[0,[48,[57,[56]]]]]]],[[109,[[0,[48,[57,[56]]]]]]]],[[],29],[[],29],[[],42],[[]],[[[109,[[0,[48,110,39]]]],[111,[[0,[48,110,39]]]],[0,[48,110,39]]]],0,0,0,0,0,0,0,0,[[112,[50,[41]]]],[[[113,[[0,[48,39]]]],10,[32,[[0,[48,39]]]],[0,[48,39]]]],[[[111,[[0,[110,39]]]],[32,[[0,[110,39]]]],[0,[110,39]]]],0,[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[[]],[103,103],[[[111,[2]]],[[111,[2]]]],[[[102,[2]]],[[102,[2]]]],[[]],[[]],[[]],[[],103],[[],[[111,[62]]]],[[],[[102,[62]]]],[10],[10],[10],[10],[10],[10],[10],[10],[10],[10],[27,[[29,[[111,[28]]]]]],[27,[[29,[[102,[28]]]]]],[10],[10],[10],[10],[10],[[[111,[1]],33],34],[[[111,[1]],33],34],[[[102,[1]],33],34],[[[102,[1]],33],34],[[[112,[1]],33],34],[[]],[[]],[[]],[[]],[[]],[[[103,[62]]],[[102,[62]]]],[[[113,[[0,[48,39]]]]],[[40,[[0,[48,39]]]]]],[[[112,[62]]],[[102,[62]]]],[[],10],[[],10],[[],10],[[],10],[[],10],[[]],[[]],[[]],[[]],[[]],[[[37,[[114,[62]]]],10],[[103,[62]]]],[10,[[113,[[0,[48,39]]]]]],[21,111],[10,[[112,[62]]]],[[112,[50,[41]],41]],0,0,[[]],[[]],[[]],[[],4],[[],4],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],29],[[],42],[[],42],[[],42],[[],42],[[],42],[[]],[[]],[[]],[[]],[[]]],"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"],[6,"FixedAssignment"],[8,"Fn"],[3,"TypeId"],[15,"i32"],[3,"StepTypeSetupContext"],[8,"LookupBuilder"],[3,"StepTypeContext"],[3,"CircuitContext"],[8,"Field"],[4,"StepTypeDefInput"],[3,"StepTypeWGHandler"],[3,"LookupTableRegistry"],[3,"LookupTableStore"],[3,"LookupTable"],[8,"FnOnce"],[8,"IntoIterator"],[15,"u64"],[8,"From"],[4,"Typing"],[15,"u32"],[15,"u8"],[3,"InPlaceLookupBuilder"],[8,"Default"],[3,"LookupTableBuilder"],[3,"SuperCircuitContext"],[3,"SuperCircuit"],[8,"CellManager"],[8,"StepSelectorBuilder"],[3,"CompilerConfig"],[3,"AssignmentGenerator"],[3,"Vec"],[3,"HashMap"],[8,"Field"],[3,"Circuit"],[3,"ChiquitoHalo2"],[3,"ChiquitoHalo2Circuit"],[3,"ConstraintSystem"],[3,"ChiquitoHalo2SuperCircuit"],[3,"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,"TraceWitness"],[3,"TraceGenerator"],[3,"MappingGenerator"],[3,"MappingContext"],[6,"Mapping"],[4,"Expr"],[4,"Expression"],[3,"IsZero"],[8,"Eq"],[3,"StepInstance"],[3,"TraceContext"],[3,"FixedGenContext"],[6,"Trace"],[8,"ToExpr"],[8,"ToField"]]}\ }'); if (typeof window !== 'undefined' && window.initSearch) {window.initSearch(searchIndex)}; if (typeof exports !== 'undefined') {exports.searchIndex = searchIndex};