Expand description

Code to write unit test for outlives.

Functions§