pub type AbsVal<A> = <A as Abs>::Output;
Alias for the associated type of Abs: AbsVal<A> = <A as Abs>::Output
Abs
AbsVal<A> = <A as Abs>::Output