Type Alias halo2_middleware::circuit::ExpressionMid

pub type ExpressionMid<F> = Expression<F, VarMid>;

Aliased Type

enum ExpressionMid<F> {
    Constant(F),
    Var(VarMid),
    Negated(Box<Expression<F, VarMid>>),
    Sum(Box<Expression<F, VarMid>>, Box<Expression<F, VarMid>>),
    Product(Box<Expression<F, VarMid>>, Box<Expression<F, VarMid>>),
}

Variants

Constant(F)

This is a constant polynomial

Var(VarMid)

This is a variable

Negated(Box<Expression<F, VarMid>>)

This is a negated polynomial

Sum(Box<Expression<F, VarMid>>, Box<Expression<F, VarMid>>)

This is the sum of two polynomials

Product(Box<Expression<F, VarMid>>, Box<Expression<F, VarMid>>)

This is the product of two polynomials