- STRUCTURE
- SYNOPSIS
Constant denoting Hilbert’s choice operator.
- LIBRARY
boolSyntax
- DESCRIPTION
The ML variable boolSyntax.select is bound to the term min$@.
- SEEALSO
equality,
implication,
T,
F,
universal,
existential,
exists1,
conjunction,
disjunction,
negation,
conditional,
bool_case,
let_tm,
arb