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>, )
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.