From 5687e549faf2a00133c91dd21b48d876e0e2c449 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 11 Oct 2008 21:16:28 +0000
Subject: Update algebra bootstrap cache.

---
 src/algebra/strap/ORDRING-.lsp | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/algebra/strap/ORDRING-.lsp')

diff --git a/src/algebra/strap/ORDRING-.lsp b/src/algebra/strap/ORDRING-.lsp
index 63b2eb23..9b433619 100644
--- a/src/algebra/strap/ORDRING-.lsp
+++ b/src/algebra/strap/ORDRING-.lsp
@@ -1,6 +1,18 @@
 
 (/VERSIONCHECK 2) 
 
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
+                |ORDRING-;positive?;SB;1|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
+                |ORDRING-;negative?;SB;2|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Integer|)
+                |ORDRING-;sign;SI;3|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
+                |ORDRING-;abs;2S;4|)) 
+
 (DEFUN |ORDRING-;positive?;SB;1| (|x| $)
   (SPADCALL (|spadConstant| $ 7) |x| (|getShellEntry| $ 9))) 
 
-- 
cgit v1.2.3