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.