is_cond : term -> bool

SYNOPSIS
Tests a term to see if it is a conditional.

DESCRIBE
If M has the form if t then t1 else t2 then is_cond M returns true If the term is not a conditional the result is false.

FAILURE
Never fails.

SEEALSO  mk_cond,   dest_cond

HOL  Kananaskis 0