assert -- assert something is true

assert -- assert something is true

assert x -- prints an error message if x isn't true.

Code:

     -- ../../../Macaulay2/m2/debugging.m2:37
     assert = x -> if not x then error "assertion failed"