Function un_algebra::magma::add_magma::num_closure

pub fn num_closure<T: AddMagma + NumEq>(_x: &T, _y: &T, _eps: &T::Eps) -> bool

The numeric closure axiom. Guaranteed by Rust's type system and implemented only for completeness.