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);