什么是succ和pred全名？

Question

我在Pervasives的Inria文档中提供了以下内容：

  

val succ：int - ＆gt; int

     

succ x是x + 1。

     

val pred：int - ＆gt; int

     

pred x是x - 1.

据我所知 succ 和 pred 是短名称。他们的全名是什么？

Answer 1

它们分别是后继者和前身的缩写。