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