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.