is_eq : term -> bool
SYNOPSIS
Tests a term to see if it is an equation.
DESCRIBE
If
M
has the form
t1 = t2
then
is_eq M
returns
true
. If
M
is not an equation the result is
false
.
FAILURE
Never fails.
SEEALSO
mk_eq
,
dest_eq
HOL
Kananaskis 0