is_uexists : term -> bool
- SYNOPSIS
-
Tests if a term is of the form `there exists a unique ...'
- DESCRIPTION
-
If t has the form ?!x. p[x] (there exists a unique x such that p[x]
then is_uexists t returns true, otherwise false.
- FAILURE CONDITIONS
-
Never fails.
- SEE ALSO
-
dest_uexists, is_exists, is_forall.