assert

Package assert provide a single function to emulate C-style asserts. The goal of this package is to provide a call that will document and enforce preconditions, postconditions, and invariants in code. Failures should only result from program bugs.