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