Type Definition verified::Log2

type Log2<A> = <A as Logarithm2>::Output;

Alias for the associated type of Logarithm2: Log2<A> = <A as Logarithm2>::Output