let_tm

boolSyntax.let_tm : term

Constant denoting let expressions.

The ML variable boolSyntax.let_tm is bound to the term bool$LET.

See also

boolSyntax.equality, boolSyntax.implication, boolSyntax.select, boolSyntax.T, boolSyntax.F, boolSyntax.universal, boolSyntax.existential, boolSyntax.exists1, boolSyntax.conjunction, boolSyntax.disjunction, boolSyntax.bool_case, boolSyntax.arb