1\DOC existential 2 3\TYPE {existential : term} 4 5\SYNOPSIS 6Constant denoting existential quantification. 7 8\LIBRARY 9boolSyntax 10 11\DESCRIBE 12The ML variable {boolSyntax.existential} is bound to the term {bool$?}. 13 14\SEEALSO 15boolSyntax.equality, boolSyntax.implication, boolSyntax.select, boolSyntax.T, boolSyntax.F, boolSyntax.universal, boolSyntax.exists1, boolSyntax.conjunction, boolSyntax.disjunction, boolSyntax.negation, boolSyntax.conditional, boolSyntax.bool_case, boolSyntax.let_tm, boolSyntax.arb. 16\ENDDOC 17