1 2 3 4 5 6 7
use super::UNIFORM_BYTE_DISTRIBUTION_ENTROPY; use crate::ops::AlgebraicLaw; pub const LAWS: &[AlgebraicLaw] = &[AlgebraicLaw::Bounded { lo: 0, hi: UNIFORM_BYTE_DISTRIBUTION_ENTROPY, }];