assert x -- prints an error message if x isn't true.
Code:
-- code for assert: -- ../m2/debugging.m2:37 assert = x -> if not x then error "assertion failed"