let

let <identifier> = <term> .

Using let one can define aliases, or context variables. Bindings are local to the current module. Variable defined with let can be used in various commands like reduce and parse.

Although let defined variable behave very similar to syntactic shorthands, they are not. The right hand side <term> needs to be a fully parsable expression.