ORELSE_CONSEQ_CONV

ConseqConv.ORELSE_CONSEQ_CONV : (conseq_conv -> conseq_conv -> conseq_conv)

Applies the first of two consequence conversions that succeeds.

See also

Conv.ORELSEC, ConseqConv.FIRST_CONSEQ_CONV