From dd7d5c57e972571054e3f756718e166e142dc6ce Mon Sep 17 00:00:00 2001
From: Artem Gureev <artemgureev@yahoo.com>
Date: Tue, 29 Aug 2023 18:15:45 +0600
Subject: [PATCH] Upgrade Standard Library

Upgrades the standard library needed to compile JuvixCore functions
containing natural numbers functions and predicates.
---
 src/vampir/vampir.lisp | 30 ++++++++++++++++++------------
 1 file changed, 18 insertions(+), 12 deletions(-)

diff --git a/src/vampir/vampir.lisp b/src/vampir/vampir.lisp
index 6daf1fe76..139b27d3b 100644
--- a/src/vampir/vampir.lisp
+++ b/src/vampir/vampir.lisp
@@ -590,18 +590,24 @@
 (defparameter *standard-library*
   (list
    *bool*
-   *range31*
-   *range32*
-   *int-range31*
-   *int-range32*
-   *negative31*
-   *negative32*
-   *non-negative32*
-   *less32*
-   *mod32*
-   *pwmod32*
-   *pwless32*
-   *next-range*))
+   *base-range*
+   *next-range*
+   *range-n*
+   *hd*
+   *tl*
+   *n-th*
+   *negative*
+   *plus-range*
+   *mult-range*
+   *minus-range*
+   *isZero*
+   *combine-aux*
+   *combine*
+   *take-base*
+   *take-ind*
+   *take*
+   *drop-ith-rec*
+   *drop-ith*))
 
 (-> extract (list &optional (or null stream)) (or null stream))
 (defun extract (stmts &optional (stream *standard-output*))