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