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