pub struct SeveralU32add { /* private fields */ }Implementations§
Source§impl SeveralU32add
impl SeveralU32add
pub fn new(builder: &mut ConstraintSystemBuilder<'_>) -> Result<Self>
pub fn u32add<FInput, FOutput>(
&mut self,
builder: &mut ConstraintSystemBuilder<'_>,
name: impl ToString,
xin: OracleId,
yin: OracleId,
) -> Result<OracleId, Error>where
FInput: TowerField,
FOutput: TowerField,
U: PackScalar<FInput> + PackScalar<FOutput>,
F: ExtensionField<FInput> + ExtensionField<FOutput>,
BinaryField8b: ExtensionField<FInput> + ExtensionField<FOutput>,
pub fn finalize( self, builder: &mut ConstraintSystemBuilder<'_>, name: impl ToString, ) -> Result<()>
Trait Implementations§
Auto Trait Implementations§
impl Freeze for SeveralU32add
impl RefUnwindSafe for SeveralU32add
impl Send for SeveralU32add
impl Sync for SeveralU32add
impl Unpin for SeveralU32add
impl UnwindSafe for SeveralU32add
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more