index.KAF

826                 
(|AbelianMonoid&| S)
|package|
(((|AbelianMonoid&| |#1|)
  (CATEGORY |package| (SIGNATURE |opposite?| ((|Boolean|) |#1| |#1|))
   (SIGNATURE * (|#1| (|NonNegativeInteger|) |#1|))
   (SIGNATURE |zero?| ((|Boolean|) |#1|))
   (SIGNATURE |sample| (|#1|) |constant|)
   (SIGNATURE * (|#1| (|PositiveInteger|) |#1|)))
  (|AbelianMonoid|))
 (T |AbelianMonoid&|))
(NIL T)
"catdef.spad"
((|zero?| (((|Boolean|) $) 10 T ELT)) (|sample| (($) 15 T CONST))
 (|opposite?| (((|Boolean|) $ $) 22 T ELT))
 (* (($ (|PositiveInteger|) $) 14 T ELT)
    (($ (|NonNegativeInteger|) $) 19 T ELT)))
((|ABELMON-;opposite?;2$B;5| ((|Boolean|) $ $))
 (|ABELMON-;*;Nni2$;4| ($ (|NonNegativeInteger|) $))
 (|ABELMON-;sample;$;3| ($)) (|ABELMON-;*;Pi2$;2| ($ (|PositiveInteger|) $))
 (|ABELMON-;zero?;$B;1| ((|Boolean|) $)))
ABELMON-
(("ancestors" 0 NIL) ("parents" 0 NIL) ("abbreviation" 0 817)
 ("predicates" 0 NIL) ("attributes" 0 NIL) ("signaturesAndLocals" 0 597)
 ("superDomain" 0 NIL) ("operationAlist" 0 400) ("modemaps" 0 NIL)
 ("sourceFile" 0 386) ("dualSignature" 0 378) ("constructorModemap" 0 52)
 ("constructorKind" 0 42) ("constructorForm" 0 21))