Type Alias Bv512 

pub type Bv512 = Bv<_512>;

An unsigned 512-bit integer.

Aliased Type

pub struct Bv512 { /* private fields */ }