is_abs : (term -> bool)
- SYNOPSIS
-
Tests a term to see if it is an abstraction.
- DESCRIBE
-
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 Kananaskis 0