Type Definition verified::operator_aliases::AbsVal

type AbsVal<A> = <A as Abs>::Output;

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