Type Alias Bv256 

pub type Bv256 = Bv<_256>;

An unsigned 256-bit integer.

Aliased Type

pub struct Bv256 { /* private fields */ }