* arith.c (succ, ssucc, sssucc, pred, ppred, pppred): New functions.

* eval.c (eval_init): Register new functions as intrinsics.

* lib.h (succ, ssucc, sssucc, pred, ppred, pppred): Declared.

* txr.1: Documented.

1 files changed, 6 insertions, 0 deletions

diff --git a/lib.h b/lib.h
index c4c2d5ff..80a56c14 100644
--- a/lib.h
+++ b/lib.h
@@ -542,6 +542,12 @@ val divi(val anum, val bnum);
 val zerop(val num);
 val evenp(val num);
 val oddp(val num);
+val succ(val num);
+val ssucc(val num);
+val sssucc(val num);
+val pred(val num);
+val ppred(val num);
+val pppred(val num);
 val gt(val anum, val bnum);
 val lt(val anum, val bnum);
 val ge(val anum, val bnum);