A
let_expression consists of a sequence of
local_value_declarations and a body consisting
of a single
expression. The
local_value_declarations differ from
top-level
value_declarations
in that the order of declaration is significant, and it is legal for
multiple
local_value_declarations to have
the same name, with each new declaration hiding any previous declarations
(including top level declarations) with the same name.