/usr/share/hol88-2.02.19940316/help/ENTRIES/ORELSEC.doc is in hol88-help 2.02.19940316-35.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | \DOC ORELSEC
\TYPE {$ORELSEC : (conv -> conv -> conv)}
\SYNOPSIS
Applies the first of two conversions that succeeds.
\KEYWORDS
conversional.
\DESCRIBE
{(c1 ORELSEC c2) "t"} returns the result of applying the conversion {c1} to
the term {"t"} if this succeeds. Otherwise {(c1 ORELSEC c2) "t"} returns the
result of applying the conversion {c2} to the term {"t"}.
\FAILURE
{(c1 ORELSEC c2) "t"} fails both {c1} and {c2} fail when applied to {"t"}.
\SEEALSO
FIRST_CONV.
\ENDDOC
|