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/MONOID-.lsp | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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

diff --git a/src/algebra/strap/MONOID-.lsp b/src/algebra/strap/MONOID-.lsp
index 399e1f43..6673562a 100644
--- a/src/algebra/strap/MONOID-.lsp
+++ b/src/algebra/strap/MONOID-.lsp
@@ -1,6 +1,18 @@
 
 (/VERSIONCHECK 2) 
 
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
+                |MONOID-;one?;SB;1|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Thing|) |MONOID-;sample;S;2|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|)
+                |MONOID-;recip;SU;3|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| (|%IntegerSection| 0) |%Shell|)
+                    |%Thing|)
+                |MONOID-;**;SNniS;4|)) 
+
 (DEFUN |MONOID-;one?;SB;1| (|x| $)
   (SPADCALL |x| (|spadConstant| $ 7) (|getShellEntry| $ 9))) 
 
-- 
cgit v1.2.3