HOL: Reference

is_pabs

pairSyntax.is_pabs : term -> bool

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

is_pabs "\pair. t" returns true. If the term is not a paired abstraction the result is false.

Failure

Never fails.

See also

Term.is_abs, pairSyntax.mk_pabs, pairSyntax.dest_pabs