NO_CONV : conv
STRUCTURE
Conv
SYNOPSIS
Conversion that always fails.
FAILURE
NO_CONV
always fails.
SEEALSO
ALL_CONV
HOL
Kananaskis-13