[][src]Trait verified::Logarithm2

pub trait Logarithm2 {
    type Output;
}

A type operator for taking the integer binary logarithm of Self.

The integer binary logarighm of n is the largest integer m such that n >= 2^m. This definition is equivalent to truncating the real-valued binary logarithm: floor(log2(n)).

Associated Types

type Output

The result of the integer binary logarithm.

Loading content...

Implementors

impl<N> Logarithm2 for N where
    N: PrivateLogarithm2, 
[src]

type Output = <N as PrivateLogarithm2>::Output

Loading content...