- <entry><emphasis role="bold">let</emphasis>
- [<emphasis role="bold">co</emphasis>]<emphasis role="bold">rec</emphasis>
- &id; [&id;|<emphasis role="bold">(</emphasis>&id;[<emphasis role="bold">,</emphasis>&term;]… <emphasis role="bold">:</emphasis>&term;<emphasis role="bold">)</emphasis>]… [<emphasis role="bold">on</emphasis> &nat;]
- [<emphasis role="bold">:</emphasis> &term;]
- <emphasis role="bold">≝</emphasis> &term;
+ <entry>
+ <emphasis role="bold">let</emphasis>
+ [<emphasis role="bold">co</emphasis>]<emphasis role="bold">rec</emphasis>
+ &rec_def;