is_abs
Term.is_abs : (term -> bool)
Tests a term to see if it is an abstraction.
is_abs "\var. t" returns true. If the term is not an abstraction the
result is false.
Failure
Never fails.
See also
Term.mk_abs, Term.dest_abs,
Term.is_var, Term.is_const,
Term.is_comb