rust_lean_playground

Type Alias Bignum

Source 
pub type Bignum = Vec<u32>;

Aliased Typeยง

struct Bignum { /* private fields */ }