Recursion 闭一开递归符号的理解

这个问题并不像我们在问题上看到的那个样，直接关系到什么是开递归或闭递归，而是更具体地关系到在许多地方引用了什么

在里面我们可以看到这样的表达：

(fun(x1:τ1)⇒e)⇓(fun(x1:τ1)⇒e)

我的问题是：

⇓代表什么

考虑到谷歌搜索一个符号总是很枯燥乏味，我环顾了一下互联网，没有发现任何特别之处。
不确定它是否回答了你的问题，但从网上阅读的各种材料来看，我认为
⇓表示计算为或减少为

表达方式：

(fun(x1:τ1)⇒e)⇓(fun(x1:τ1)⇒e)

这意味着，将
τ1
类型的
x1
作为参数的函数
fun
可以简化为相同的函数

可能在SE上可能会对您有所帮助。
不确定它是否回答了您的问题，但通过在线阅读各种材料，我认为
⇓表示计算为或减少为

表达方式：

(fun(x1:τ1)⇒e)⇓(fun(x1:τ1)⇒e)

这意味着，将
τ1
类型的
x1
作为参数的函数
fun
可以简化为相同的函数

May on SE可能对您有所帮助。
谢谢您的回答，我真的很难在那个符号上找到任何东西！谢谢你的回答，我真的很难在那个符号上找到任何东西！