1\DOC FIRST_CONV 2 3\TYPE {FIRST_CONV : conv list -> conv} 4 5\SYNOPSIS 6Apply the first of the conversions in a given list that succeeds. 7 8\KEYWORDS 9conversional. 10 11\DESCRIBE 12{FIRST_CONV [c1,...,cn] t} returns the result of applying to the term 13{t} the first conversion {ci} that succeeds (or raises {UNCHANGED}) 14when applied to {t}. The conversions are tried in the order 15in which they are given in the list. 16 17\FAILURE 18{FIRST_CONV [c1,...,cn] t} fails if all the conversions {c1}, ..., 19{cn} fail when applied to the term {t}. {FIRST_CONV cs t} also fails 20if {cs} is the empty list. 21 22\SEEALSO 23Conv.ORELSEC, Conv.UNCHANGED. 24\ENDDOC 25