Trait sp1_recursion_core_v2::builder::RecursionAirBuilder

pub trait RecursionAirBuilder: BaseAirBuilder {
    // Provided methods
    fn send_single<E: Into<Self::Expr>>(
        &mut self,
        addr: Address<E>,
        val: E,
        mult: impl Into<Self::Expr>,
    ) { ... }
    fn send_block<E: Into<Self::Expr>>(
        &mut self,
        addr: Address<E>,
        val: Block<E>,
        mult: impl Into<Self::Expr>,
    ) { ... }
    fn receive_single<E: Into<Self::Expr>>(
        &mut self,
        addr: Address<E>,
        val: E,
        mult: impl Into<Self::Expr>,
    ) { ... }
    fn receive_block<E: Into<Self::Expr>>(
        &mut self,
        addr: Address<E>,
        val: Block<E>,
        mult: impl Into<Self::Expr>,
    ) { ... }
}

Provided Methods

fn send_single<E: Into<Self::Expr>>( &mut self, addr: Address<E>, val: E, mult: impl Into<Self::Expr>, )

fn send_block<E: Into<Self::Expr>>( &mut self, addr: Address<E>, val: Block<E>, mult: impl Into<Self::Expr>, )

fn receive_single<E: Into<Self::Expr>>( &mut self, addr: Address<E>, val: E, mult: impl Into<Self::Expr>, )

fn receive_block<E: Into<Self::Expr>>( &mut self, addr: Address<E>, val: Block<E>, mult: impl Into<Self::Expr>, )

Object Safety

This trait is not object safe.

Implementors

impl<AB: BaseAirBuilder> RecursionAirBuilder for AB