发表新帖
发表新帖

If I have Succ can I create type LessThan?

后端 未结
关注
0 1879
别那么骄傲
别那么骄傲 2020-11-29 00:10

I have type alias Succ. Which returns next number.

For example:

typ
相关标签:
回答
  • 消灭零回复
 看不清?
提交回复
热议问题