Function 运算符|在ml中是什么意思
我正在用SML写一些代码，我处理了这个函数签名 （bool | int）->（int*int）Function 运算符|在ml中是什么意思,function,sml,smlnj,ml,function-signature,Function,Sml,Smlnj,Ml,Function Signature,我正在用SML写一些代码，我处理了这个函数签名 （bool | int）->（int*int） 我想知道这个签名的含义是什么以及签名以这种方式表示的函数是什么？这个签名对我来说毫无意义。pipe运算符用于case语句和数据类型声明中，但我以前在函数签名中没有见过它。请提供一个最小的工作示例。AFAICT这不是一个合法的标准ML类型签名。
我想知道这个签名的含义是什么以及签名以这种方式表示的函数是什么？这个签名对我来说毫无意义。pipe运算符用于case语句和数据类型声明中，但我以前在函数签名中没有见过它。请提供一个最小的工作示例。AFAICT这不是一个合法的标准ML类型签名。