pub type N2251799813685248 = NInt<U2251799813685248>;
Aliased Type§
struct N2251799813685248 {
pub(crate) n: UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>,
}
Fields§
§n: UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>
Implementations
Trait Implementations
Source§impl<Ul: Unsigned + NonZero, Ur> Add<PInt<Ur>> for NInt<Ul>
N(Ul) + P(Ur)
: We resolve this with our PrivateAdd
impl<Ul: Unsigned + NonZero, Ur> Add<PInt<Ur>> for NInt<Ul>
N(Ul) + P(Ur)
: We resolve this with our PrivateAdd
Source§impl<Nl: Unsigned + NonZero, Nr: Cmp<Nl> + Unsigned + NonZero> Cmp<NInt<Nr>> for NInt<Nl>
-X <==> -Y
impl<Nl: Unsigned + NonZero, Nr: Cmp<Nl> + Unsigned + NonZero> Cmp<NInt<Nr>> for NInt<Nl>
-X <==> -Y
Source§impl<U: Ord + Unsigned + NonZero> Ord for NInt<U>
impl<U: Ord + Unsigned + NonZero> Ord for NInt<U>
Source§impl<U: PartialOrd + Unsigned + NonZero> PartialOrd for NInt<U>
impl<U: PartialOrd + Unsigned + NonZero> PartialOrd for NInt<U>
Source§impl<Ul, Ur: Unsigned> Pow<PInt<UInt<Ur, B0>>> for NInt<Ul>
N(Ul)^P(Ur) = P(Ul^Ur) if Ur is even
impl<Ul, Ur: Unsigned> Pow<PInt<UInt<Ur, B0>>> for NInt<Ul>
N(Ul)^P(Ur) = P(Ul^Ur) if Ur is even
Source§impl<Ul, Ur: Unsigned> Pow<PInt<UInt<Ur, B1>>> for NInt<Ul>
N(Ul)^P(Ur) = N(Ul^Ur) if Ur is odd
impl<Ul, Ur: Unsigned> Pow<PInt<UInt<Ur, B1>>> for NInt<Ul>
N(Ul)^P(Ur) = N(Ul^Ur) if Ur is odd
Source§impl<Ul: Unsigned + NonZero, Ur> Sub<NInt<Ur>> for NInt<Ul>
N(Ul) - N(Ur)
: We resolve this with our PrivateAdd
impl<Ul: Unsigned + NonZero, Ur> Sub<NInt<Ur>> for NInt<Ul>
N(Ul) - N(Ur)
: We resolve this with our PrivateAdd