什么是 succ 和 pred 全名？
What are succ and pred full names?
我在 Pervasives 的 Inria 文档中找到以下内容：
val succ : int -> int
succ x is x + 1.
val pred : int -> int
pred x is x - 1.
据我了解，succ 和 pred 是简称。他们的全名是什么？
分别是继任者和前任的简称
我在 Pervasives 的 Inria 文档中找到以下内容：
val succ : int -> int
succ x is x + 1.
val pred : int -> int
pred x is x - 1.
据我了解，succ 和 pred 是简称。他们的全名是什么？
分别是继任者和前任的简称