Trait sp1_recursion_core_v2::air::BlockBuilder

pub trait BlockBuilder: AirBuilder {
    // Provided method
    fn assert_block_eq<Lhs, Rhs>(&mut self, lhs: Block<Lhs>, rhs: Block<Rhs>)
       where Lhs: Into<Self::Expr>,
             Rhs: Into<Self::Expr> { ... }
}

Provided Methods

fn assert_block_eq<Lhs, Rhs>(&mut self, lhs: Block<Lhs>, rhs: Block<Rhs>)

where Lhs: Into<Self::Expr>, Rhs: Into<Self::Expr>,

Object Safety

This trait is not object safe.

Implementors

impl<AB> BlockBuilder for AB

where AB: AirBuilder,