 
 
 
 
2.4 Local definitions
In addition to the destructuring let (see section
2.2.3), there is a possibility to define local terms inside a
bigger term.
There are currently two equivalent syntaxes for that:
| term | ::= | let ident = term in term | 
|  | | | [ ident = term ] term | 
 
 
 
