recursion - 用于相互递归的广义 letrec 语义

Question

我是系统类型的新手，我想知道如何通过广义的 let rec x1=e1 ,....,xn=en 在 e 中定义相互递归。必须在“简单”letrec 的语义和评估规则中添加什么它的语法糖（使用 fix ）如何改变？