binius_circuits::lasso::lookups::u8_arithmetic

Function add_lookup

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