This library contains efficient assertions to test the input and output of methods. With these assertions, one can greatly reduce the amount of coding needed to write a safe implementation.