- STRUCTURE
- SYNOPSIS
Conversion that always raises the UNCHANGED exception.
- DESCRIPTION
When applied to a term t, the conversion ALL_CONV raises the
special UNCHANGED exception, which indicates to leave t unchanged.
- FAILURE
Always raises the UNCHANGED exception.
- USES
Identity element for THENC.
- SEEALSO