1\DOC ORELSEC
2
3\TYPE {op ORELSEC : (conv -> conv -> conv)}
4
5\SYNOPSIS
6Applies the first of two conversions that succeeds.
7
8\KEYWORDS
9conversional.
10
11\DESCRIBE
12{(c1 ORELSEC c2) ``t``} returns the result of applying the conversion
13{c1} to the term {``t``} if this succeeds.  Otherwise
14{(c1 ORELSEC c2) ``t``} returns the result of applying the conversion
15{c2} to the term {``t``}.  If either conversion raises the {UNCHANGED}
16exception when applied, this is passed on to {ORELSEC}'s caller.
17
18\FAILURE
19{(c1 ORELSEC c2) ``t``} fails if both {c1} and {c2} fail when applied
20to {``t``}.  (This refers to failure other than by raising {UNCHANGED}).
21
22\SEEALSO
23Conv.UNCHANGED, Conv.FIRST_CONV.
24\ENDDOC
25