pub trait Abs { type Output; }
A type operator that returns the absolute value.
use typenum::{Abs, Integer, N5}; assert_eq!(<N5 as Abs>::Output::to_i32(), 5);
The absolute value.