binius_circuits::lasso::u32add

Function u32add

Source 
pub fn u32add<FInput, FOutput>(
    builder: &mut ConstraintSystemBuilder<'_>,
    name: impl ToString + Clone,
    xin: OracleId,
    yin: OracleId,
) -> Result<OracleId, Error>
where
    FInput: TowerField,
    FOutput: TowerField,
    U: PackScalar<FInput> + PackScalar<FOutput>,
    BinaryField8b: ExtensionField<FInput> + ExtensionField<FOutput>,
    F: ExtensionField<FInput> + ExtensionField<FOutput>,