is_pair : (term -> bool)
STRUCTURE
pairSyntax
SYNOPSIS
Tests a term to see if it is a pair.
DESCRIPTION
is_pair "(t1,t2)"
returns
true
. If the term is not a pair the result is
false
.
FAILURE
Never fails.
SEEALSO
mk_pair
,
dest_pair
HOL
Kananaskis-14