is_exists : term -> bool

SYNOPSIS
Tests a term to see if it is an existential quantification.

DESCRIBE
If M has the form ?v. t then is_exists M returns true. If the term is not an existential quantification the result is false.

FAILURE
Never fails.

SEEALSO  mk_exists,   dest_exists

HOL  Kananaskis 0