aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/SETAGG-.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/SETAGG-.lsp')
-rw-r--r--src/algebra/strap/SETAGG-.lsp12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/algebra/strap/SETAGG-.lsp b/src/algebra/strap/SETAGG-.lsp
index 99884fa8..103e4819 100644
--- a/src/algebra/strap/SETAGG-.lsp
+++ b/src/algebra/strap/SETAGG-.lsp
@@ -1,6 +1,18 @@
(/VERSIONCHECK 2)
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
+ |SETAGG-;symmetricDifference;3A;1|))
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
+ |SETAGG-;union;ASA;2|))
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
+ |SETAGG-;union;S2A;3|))
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
+ |SETAGG-;difference;ASA;4|))
+
(DEFUN |SETAGG-;symmetricDifference;3A;1| (|x| |y| $)
(SPADCALL (SPADCALL |x| |y| (|getShellEntry| $ 8))
(SPADCALL |y| |x| (|getShellEntry| $ 8)) (|getShellEntry| $ 9)))