existential : term
STRUCTURE
SYNOPSIS
Constant denoting existential quantification.
LIBRARY
boolSyntax
DESCRIPTION
The ML variable boolSyntax.existential is bound to the term bool$?.
SEEALSO
HOL  Kananaskis-13