is_cond : term -> bool
SYNOPSIS
Tests a term to see if it is a conditional.
DESCRIPTION
is_cond `if t then t1 else t2`
returns
true
. If the term is not a conditional the result is
false
.
FAILURE CONDITIONS
Never fails.
SEE ALSO
mk_cond
,
dest_cond
.