Trait PrivateSquareRoot 

pub trait PrivateSquareRoot {
    type Output;
}

Required Associated Types

type Output

Implementors

impl PrivateSquareRoot for UInt<UTerm, B1>

type Output = UInt<UTerm, B1>

impl PrivateSquareRoot for UTerm

type Output = UTerm

impl<U, Ba, Bb> PrivateSquareRoot for UInt<UInt<U, Ba>, Bb>

where U: Unsigned + SquareRoot, Ba: Bit, Bb: Bit, Sqrt<U>: Shl<B1>, Double<Sqrt<U>>: Add<B1> + Add<GrEq<Self, Square<Add1<Double<Sqrt<U>>>>>>, Add1<Double<Sqrt<U>>>: Mul, Self: IsGreaterOrEqual<Square<Add1<Double<Sqrt<U>>>>>,

type Output = <<<U as SquareRoot>::Output as Shl<B1>>::Output as Add<<UInt<UInt<U, Ba>, Bb> as IsGreaterOrEqual<<<<<U as SquareRoot>::Output as Shl<B1>>::Output as Add<B1>>::Output as Mul>::Output>>::Output>>::Output