exists1
boolSyntax.exists1 : term
Constant denoting the unique existence quantifier.
The ML variable boolSyntax.exists1 is bound to the term bool$?!.
See also
boolSyntax.equality,
boolSyntax.implication,
boolSyntax.select,
boolSyntax.T, boolSyntax.F,
boolSyntax.universal,
boolSyntax.existential,
boolSyntax.conjunction,
boolSyntax.disjunction,
boolSyntax.negation,
boolSyntax.conditional,
boolSyntax.bool_case,
boolSyntax.let_tm,
boolSyntax.arb