binius_circuits::lasso::big_integer_ops::byte_sliced_add_carryfree

Function byte_sliced_add_carryfree

Source 
pub fn byte_sliced_add_carryfree<Level: TowerLevel<Data<OracleId>: Sized>>(
    builder: &mut ConstraintSystemBuilder<'_>,
    name: impl ToString,
    x_in: &Level::Data<OracleId>,
    y_in: &Level::Data<OracleId>,
    carry_in: OracleId,
    log_size: usize,
    lookup_batch_add: &mut LookupBatch,
    lookup_batch_add_carryfree: &mut LookupBatch,
) -> Result<Level::Data<OracleId>, Error>