aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/RCAGG-.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/RCAGG-.lsp')
-rw-r--r--src/algebra/strap/RCAGG-.lsp10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/algebra/strap/RCAGG-.lsp b/src/algebra/strap/RCAGG-.lsp
index 0546ebc4..599cc1a2 100644
--- a/src/algebra/strap/RCAGG-.lsp
+++ b/src/algebra/strap/RCAGG-.lsp
@@ -1,6 +1,16 @@
(/VERSIONCHECK 2)
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
+ |RCAGG-;elt;AvalueS;1|))
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|)
+ |%Thing|)
+ |RCAGG-;setelt;Avalue2S;2|))
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
+ |RCAGG-;child?;2AB;3|))
+
(DEFUN |RCAGG-;elt;AvalueS;1| (|x| T0 $)
(SPADCALL |x| (|getShellEntry| $ 8)))