succ函数是干什么用的？谢谢

Question

如题

Answer 1

Succ(X)和pred(X)对应，返回有顺类型X的后继

Answer 2

标准函数succ返回有序值的后继数，例如succ('e')得值是字母f,Succ(3)得值是数字4

Answer 3

Succ returns the successor of the argument, X.X is an expression of an ordinal type (including Int64). The result, of the same type as X, is the successor of X. Do not use Succ on properties if the property uses a write procedure.比如succ(5)=6
succ(10)=11
又如
type
   Colors = (RED,BLUE,GREEN);  //枚举类型
则 succ(RED)= BLUE