NULL is a permissible value for INTR.

This commit is contained in:
Gerd Heber 2015-07-15 17:45:00 -05:00
parent d46e4d3046
commit 78e460ec9a

View File

@ -215,7 +215,7 @@ instances via the standard constructor MAKE-INSTANCE."
(declare
(type chain-complex sorc trgt)
(fixnum degr)
(type intr-mrph intr)
(type (or intr-mrph null) intr)
(type strt strt)
(list orgn))
"Returns an instance of MORPHISM. Use this function instead of creating