is_cond : term -> bool
STRUCTURE
boolSyntax
SYNOPSIS
Tests a term to see if it is a conditional.
DESCRIPTION
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-13