next | previous | forward | backward | up | top | index | toc | home

Verify -- verify that a map is well-defined

Description

Verify -- an option that can be used to request verification that a map is well defined.

Functions with optional argument named Verify :

For the programmer

The object Verify is a symbol.