FIRST_CONSEQ_CONV

ConseqConv.FIRST_CONSEQ_CONV : (conseq_conv list -> conseq_conv)

Apply the first of the conversions in a given list that succeeds.

See also

ConseqConv.ORELSE_CONSEQ_CONV, Conv.FIRST_CONV