let_tm : term
STRUCTURE
SYNOPSIS
Constant denoting let expressions.
LIBRARY
boolSyntax
DESCRIPTION
The ML variable boolSyntax.let_tm is bound to the term bool$LET.
SEEALSO
HOL  Trindemossen-1