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