Go to the first, previous, next, last section, table of contents.


assertions

Assertions are closely related to predicates, but instead of returning a value, they signal an error if the argument does not satisfy them: They are intended for use in type-checking arguments to a function.


Go to the first, previous, next, last section, table of contents.