Ocaml succ和pred的全名是什么？

我在Inria文件中提供以下内容：

val成功：整数->整数

成功x是x+1

val pred:int->int

pred x是x-1

---

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

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

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

他们分别是继任者和前任的缩写？是的，看起来绝对正确。你能写下你的评论作为回答给我关闭这个问题的可能性吗？你可以删除你的问题，不是吗？（至少在有人写答案之前）是的，这个问题很简单，但我以前没有答案。我认为这篇文章将是对stackoverflow知识的一个很好的贡献，并且可以在将来帮助一些人。这是一个相当边缘的案例，这就是为什么——我仍然想帮助你——我没有把它表述为一个答案。它们分别是继任者和前任的缩写？是的，看起来绝对正确。你能写下你的评论作为回答给我关闭这个问题的可能性吗？你可以删除你的问题，不是吗？（至少在有人写答案之前）是的，这个问题很简单，但我以前没有答案。我认为这篇文章将是对stackoverflow知识的一个很好的贡献，并且可以在将来帮助一些人。这是一个相当边缘的案例，这就是为什么——因为我仍然想帮助你——我没有把它表述为一个答案。