Type Definition verified::Exp

type Exp<A, B> = <A as Pow<B>>::Output;

Alias for the associated type of Pow: Exp<A, B> = <A as Pow<B>>::Output