index.KAF

952                 
(|AbelianGroup&| S)
|package|
(((|AbelianGroup&| |#1|)
  (CATEGORY |package| (SIGNATURE - (|#1| |#1| |#1|)) (SIGNATURE - (|#1| |#1|))
   (SIGNATURE * (|#1| (|Integer|) |#1|))
   (SIGNATURE |subtractIfCan| ((|Maybe| |#1|) |#1| |#1|))
   (SIGNATURE |opposite?| ((|Boolean|) |#1| |#1|))
   (SIGNATURE * (|#1| (|NonNegativeInteger|) |#1|))
   (SIGNATURE * (|#1| (|PositiveInteger|) |#1|)))
  (|AbelianGroup|))
 (T |AbelianGroup&|))
(NIL T)
"catdef.spad"
((|subtractIfCan| (((|Maybe| $) $ $) 14 T ELT))
 (|opposite?| (((|Boolean|) $ $) 29 T ELT))
 (- (($ $) NIL T ELT) (($ $ $) 9 T ELT))
 (* (($ (|PositiveInteger|) $) NIL T ELT)
    (($ (|NonNegativeInteger|) $) 18 T ELT) (($ (|Integer|) $) 27 T ELT)))
((|ABELGRP-;opposite?;2$B;5| ((|Boolean|) $ $))
 (|ABELGRP-;*;I2$;4| ($ (|Integer|) $))
 (|ABELGRP-;*;Nni2$;3| ($ (|NonNegativeInteger|) $))
 (|ABELGRP-;subtractIfCan;2$M;2| ((|Maybe| $) $ $)) (|ABELGRP-;-;3$;1| ($ $ $)))
ABELGRP-
(("ancestors" 0 NIL) ("parents" 0 NIL) ("abbreviation" 0 943)
 ("predicates" 0 NIL) ("attributes" 0 NIL) ("signaturesAndLocals" 0 721)
 ("superDomain" 0 NIL) ("operationAlist" 0 471) ("modemaps" 0 NIL)
 ("sourceFile" 0 457) ("dualSignature" 0 449) ("constructorModemap" 0 51)
 ("constructorKind" 0 41) ("constructorForm" 0 21))