orelse_ : tactic -> tactic -> tactic

SYNOPSIS: Non-infix version of ORELSE.
SEE ALSO: ORELSE.