binius_circuits::lasso::u32add

Function u32add

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