## Structs

Represents an interval of values

`x..y`

(much like `Range<usize>`

)
which supports various arithmetic operations.Represents a

`256`

bit word. This is very similar what a `u256`

would be, but where all operations employ modulo arithmetic.## Constants

Represents the maximum possible interval

## Traits

Defines an abstract value which has a specific BOTTOM value in the
lattice.

A trait which allows (when possible) an abstract value to be extracted into
a concrete value. This makes sense only when that abstract value represents
a single concrete value.

A simple trait allowing something to be converted from a hex
string.

An abstract value can be used to represent one or more concrete values.

A partially ordered set which has a join for any two elements, and includes
both a

*bottom*(i.e. least) and*top*(i.e. most) elements. These are respectively below (above) every other element.A partially ordered set which has a join for any two elements, and includes
a

*bottom*(i.e. least) element which is below every other element. For example, the integer sets meets these requirements where the join operation is set union, and bottom is the empty set.Identifies type which have a

*maximum*value (e.g.`u32`

, etc).Identifies type which have a

*minimum*value (e.g.`u32`

, etc).A simple trait allowing something to be converted into a hex
string.

Defines an abstract value which has a specific TOP value in the
lattice.

## Functions

Convert a sequence of bytes in big endian form into a 128bit
value.

Convert a sequence of digits into a u128.

Convert a 128bit value into the smallest possible byte sequence
(in big endian order).