Type Alias Bv128 

pub type Bv128 = Bv<_128>;

An unsigned 128-bit integer.

Aliased Type

pub struct Bv128 { /* private fields */ }