Type Definition verified::Square

type Square<A> = <A as Mul<A>>::Output;

Alias to make it easy to square. Square<A> = <A as Mul<A>>::Output