Function law_mul_nonnegative_saturating_is_commutative 

pub fn law_mul_nonnegative_saturating_is_commutative(x: i64, y: i64) -> bool