orelse_ : tactic -> tactic -> tactic

SYNOPSIS
Non-infix version of ORELSE.

SEE ALSO
ORELSE.