This package defines the standard representation of std_logic/std_logic vector e.g. the possible values of a standard logic (multi-valued logic) and how it is resolved. The representation of logic is given by following code.
Here std_ulogic is defines a Type based on all possible values.
Here std_logic is defined as a subtype of std_ulogic which uses a resolution function called resolve.
The resolution function resolves conflict within multiple levels of which drive a particularly std_logic. To do so they require a resolution table.
This resolution table is used within the body of the resolved function to resolve these conflicts.