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