LET!

Summary
context containing a single variable
Kind
Fundamental type

The context made by LET to hold one new variable. It is mostly seen in how bindings chain together, not handled directly.