is_disj : term -> bool
SYNOPSIS
Tests a term to see if it is a disjunction.
DESCRIPTION
is_disj `t1 \/ t2`
returns
true
. If the term is not a disjunction the result is
false
.
FAILURE CONDITIONS
Never fails.
SEE ALSO
dest_disj
,
mk_disj
.