is_pabs : (term -> bool)

SYNOPSIS
Tests a term to see if it is a paired abstraction.

DESCRIBE
is_pabs "\(v1..(..)..vn). t" returns true. If the term is not a paired abstraction the result is false.

FAILURE
Never fails.

SEEALSO  mk_pabs,   dest_pabs,   is_abs,   is_var,   is_const,   is_comb

HOL  Kananaskis 0