binius_circuits::lasso::big_integer_ops::byte_sliced_test_utils

Function test_bytesliced_modular_mul

Source
pub fn test_bytesliced_modular_mul<const WIDTH: usize, TL>()
where TL: TowerLevel<OracleId>, TL::Base: TowerLevel<OracleId, Data = [OracleId; WIDTH]>, <TL as TowerLevel<usize>>::Data: Debug,