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).