Function un_algebra::magma::add_magma::closure

pub fn closure<T: AddMagma>(_x: &T, _y: &T) -> bool

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