succ 和 pred 的全名是什么？

Question

我在Pervasives的 Inria 文档中找到了以下内容：

val succ : int -> int

succ x 是 x + 1。

val pred : int -> int

预测 x 为 x - 1。

据我了解，succ和pred是简称。他们的全名是什么？

Answer 1

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