is_eq : term -> bool
STRUCTURE
boolSyntax
SYNOPSIS
Tests a term to see if it is an equation.
DESCRIPTION
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
Trindemossen-1