sec1::consts

Type Alias U1024

Source
pub type U1024 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>;

Aliased Typeยง

struct U1024 { /* private fields */ }