Type Definition verified::AbsVal

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

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