ORELSE_CONSEQ_CONV : (conseq_conv -> conseq_conv -> conseq_conv)
STRUCTURE
SYNOPSIS
Applies the first of two consequence conversions that succeeds.
SEEALSO
HOL  Kananaskis-10