Represents an interval of values
Range<usize>) which supports various arithmetic operations.
256bit word. This is very similar what a
u256would be, but where all operations employ modulo arithmetic.
Represents the maximum possible interval
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.
Identifies type which have a minimum value (e.g.
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.