FIRST_CONSEQ_CONV : (conseq_conv list -> conseq_conv)
STRUCTURE
ConseqConv
SYNOPSIS
Apply the first of the conversions in a given list that succeeds.
SEEALSO
ORELSE_CONSEQ_CONV
,
FIRST_CONV
HOL
Trindemossen-1