binius_circuits::lasso::u8add

Function u8add

Source 
pub fn u8add(
    builder: &mut ConstraintSystemBuilder<'_>,
    lookup_batch: &mut LookupBatch,
    name: impl ToString + Clone,
    x_in: OracleId,
    y_in: OracleId,
    carry_in: OracleId,
    log_size: usize,
) -> Result<(OracleId, OracleId), Error>