is_abs : (term -> bool)
STRUCTURE
Term
SYNOPSIS
Tests a term to see if it is an abstraction.
DESCRIPTION
is_abs "\var. t"
returns
true
. If the term is not an abstraction the result is
false
.
FAILURE
Never fails.
SEEALSO
mk_abs
,
dest_abs
,
is_var
,
is_const
,
is_comb
HOL
Trindemossen-1