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