assert# assert A library for the run-time checking of program invariants and for providing diagnostic error output inside pure procedures Tags: assertions pure-procedure-diagnostic-output
