is_pabs : term -> bool
STRUCTURE
pairSyntax
LIBRARY
pair
SYNOPSIS
Tests a term to see if it is a paired abstraction.
DESCRIPTION
is_pabs "\pair. t"
returns
true
. If the term is not a paired abstraction the result is
false
.
FAILURE
Never fails.
SEEALSO
is_abs
,
mk_pabs
,
dest_pabs
HOL
Trindemossen-1