Assertions

You can assert that a condition is true at a certain point in your program using an assert statement. There are two forms:

assert 3 < 4 ;

assert 3 < 4 : "Something is wrong here." ;

The first form will give an error if the assertion fails. The second will print the given message if the assertion fails.