index.KAF

6010                
(|OneDimensionalArrayAggregate&| A S)
|package|
(((|OneDimensionalArrayAggregate&| |#1| |#2|)
  (CATEGORY |package| (SIGNATURE = ((|Boolean|) |#1| |#1|))
   (SIGNATURE |coerce| ((|OutputForm|) |#1|))
   (SIGNATURE |map!| (|#1| (|Mapping| |#2| |#2|) |#1|))
   (SIGNATURE < ((|Boolean|) |#1| |#1|)) (SIGNATURE |sort!| (|#1| |#1|))
   (SIGNATURE |sort!| (|#1| (|Mapping| (|Boolean|) |#2| |#2|) |#1|))
   (SIGNATURE |reverse!| (|#1| |#1|))
   (SIGNATURE |copyInto!| (|#1| |#1| |#1| (|Integer|)))
   (SIGNATURE |sorted?| ((|Boolean|) |#1|))
   (SIGNATURE |merge| (|#1| |#1| |#1|))
   (SIGNATURE |position| ((|Integer|) |#2| |#1| (|Integer|)))
   (SIGNATURE |position| ((|Integer|) |#2| |#1|))
   (SIGNATURE |position| ((|Integer|) (|Mapping| (|Boolean|) |#2|) |#1|))
   (SIGNATURE |sorted?| ((|Boolean|) (|Mapping| (|Boolean|) |#2| |#2|) |#1|))
   (SIGNATURE |merge| (|#1| (|Mapping| (|Boolean|) |#2| |#2|) |#1| |#1|))
   (SIGNATURE |any?| ((|Boolean|) (|Mapping| (|Boolean|) |#2|) |#1|))
   (SIGNATURE |every?| ((|Boolean|) (|Mapping| (|Boolean|) |#2|) |#1|))
   (SIGNATURE |count|
    ((|NonNegativeInteger|) (|Mapping| (|Boolean|) |#2|) |#1|))
   (SIGNATURE |members| ((|List| |#2|) |#1|))
   (SIGNATURE |reduce| (|#2| (|Mapping| |#2| |#2| |#2|) |#1|))
   (SIGNATURE |reduce| (|#2| (|Mapping| |#2| |#2| |#2|) |#1| |#2|))
   (SIGNATURE |find|
    ((|Union| |#2| "failed") (|Mapping| (|Boolean|) |#2|) |#1|))
   (SIGNATURE |count| ((|NonNegativeInteger|) |#2| |#1|))
   (SIGNATURE |reduce| (|#2| (|Mapping| |#2| |#2| |#2|) |#1| |#2| |#2|))
   (SIGNATURE |setelt| (|#2| |#1| (|UniversalSegment| (|Integer|)) |#2|))
   (SIGNATURE |insert| (|#1| |#1| |#1| (|Integer|)))
   (SIGNATURE |insert| (|#1| |#2| |#1| (|Integer|)))
   (SIGNATURE |delete| (|#1| |#1| (|UniversalSegment| (|Integer|))))
   (SIGNATURE |delete| (|#1| |#1| (|Integer|)))
   (SIGNATURE |map| (|#1| (|Mapping| |#2| |#2| |#2|) |#1| |#1|))
   (SIGNATURE |concat| (|#1| (|List| |#1|)))
   (SIGNATURE |concat| (|#1| |#1| |#1|)) (SIGNATURE |concat| (|#1| |#2| |#1|))
   (SIGNATURE |concat| (|#1| |#1| |#2|))
   (SIGNATURE |elt| (|#1| |#1| (|UniversalSegment| (|Integer|))))
   (SIGNATURE |construct| (|#1| (|List| |#2|)))
   (SIGNATURE |elt| (|#2| |#1| (|Integer|)))
   (SIGNATURE |elt| (|#2| |#1| (|Integer|) |#2|))
   (SIGNATURE |setelt| (|#2| |#1| (|Integer|) |#2|))
   (SIGNATURE |map| (|#1| (|Mapping| |#2| |#2|) |#1|))
   (SIGNATURE |copy| (|#1| |#1|)))
  (|OneDimensionalArrayAggregate| |#2|) (|Type|))
 (T |OneDimensionalArrayAggregate&|))
(NIL T T)
"aggcat.spad"
((|sorted?| (((|Boolean|) (|Mapping| (|Boolean|) |#2| |#2|) $) 86 T ELT)
  (((|Boolean|) $) NIL T ELT))
 (|sort!| (($ (|Mapping| (|Boolean|) |#2| |#2|) $) 18 T ELT) (($ $) NIL T ELT))
 (|setelt| ((|#2| $ (|Integer|) |#2|) NIL T ELT)
  ((|#2| $ (|UniversalSegment| (|Integer|)) |#2|) 44 T ELT))
 (|reverse!| (($ $) 80 T ELT))
 (|reduce| ((|#2| (|Mapping| |#2| |#2| |#2|) $ |#2| |#2|) 52 T ELT)
  ((|#2| (|Mapping| |#2| |#2| |#2|) $ |#2|) 50 T ELT)
  ((|#2| (|Mapping| |#2| |#2| |#2|) $) 49 T ELT))
 (|position| (((|Integer|) (|Mapping| (|Boolean|) |#2|) $) 27 T ELT)
             (((|Integer|) |#2| $) NIL T ELT)
             (((|Integer|) |#2| $ (|Integer|)) 96 T ELT))
 (|merge| (($ (|Mapping| (|Boolean|) |#2| |#2|) $ $) 64 T ELT)
  (($ $ $) NIL T ELT))
 (|members| (((|List| |#2|) $) 13 T ELT))
 (|map!| (($ (|Mapping| |#2| |#2|) $) 37 T ELT))
 (|map| (($ (|Mapping| |#2| |#2|) $) NIL T ELT)
  (($ (|Mapping| |#2| |#2| |#2|) $ $) 60 T ELT))
 (|insert| (($ |#2| $ (|Integer|)) NIL T ELT) (($ $ $ (|Integer|)) 67 T ELT))
 (|find| (((|Union| |#2| "failed") (|Mapping| (|Boolean|) |#2|) $) 29 T ELT))
 (|every?| (((|Boolean|) (|Mapping| (|Boolean|) |#2|) $) 23 T ELT))
 (|elt| ((|#2| $ (|Integer|) |#2|) NIL T ELT) ((|#2| $ (|Integer|)) NIL T ELT)
  (($ $ (|UniversalSegment| (|Integer|))) 66 T ELT))
 (|delete| (($ $ (|Integer|)) 76 T ELT)
  (($ $ (|UniversalSegment| (|Integer|))) 75 T ELT))
 (|count| (((|NonNegativeInteger|) |#2| $) NIL T ELT)
  (((|NonNegativeInteger|) (|Mapping| (|Boolean|) |#2|) $) 34 T ELT))
 (|copyInto!| (($ $ $ (|Integer|)) 69 T ELT)) (|copy| (($ $) 68 T ELT))
 (|construct| (($ (|List| |#2|)) 73 T ELT))
 (|concat| (($ $ |#2|) NIL T ELT) (($ |#2| $) NIL T ELT) (($ $ $) 87 T ELT)
           (($ (|List| $)) 85 T ELT))
 (|coerce| (((|OutputForm|) $) 92 T ELT))
 (|any?| (((|Boolean|) (|Mapping| (|Boolean|) |#2|) $) 22 T ELT))
 (= (((|Boolean|) $ $) 95 T ELT)) (< (((|Boolean|) $ $) 99 T ELT)))
((|A1AGG-;<;2$B;31| ((|Boolean|) $ $))
 (|A1AGG-;position;S$2I;30| ((|Integer|) S $ (|Integer|)))
 (|A1AGG-;=;2$B;29| ((|Boolean|) $ $))
 (|A1AGG-;coerce;$Of;28| ((|OutputForm|) $)) (|A1AGG-;concat;3$;27| ($ $ $))
 (|A1AGG-;sorted?;M$B;26| ((|Boolean|) (|Mapping| (|Boolean|) S S) $))
 (|A1AGG-;concat;L$;25| ($ (|List| $))) (|A1AGG-;reverse!;2$;24| ($ $))
 (|A1AGG-;delete;$I$;23| ($ $ (|Integer|)))
 (|A1AGG-;delete;$Us$;22| ($ $ (|UniversalSegment| (|Integer|))))
 (|A1AGG-;construct;L$;21| ($ (|List| S)))
 (|A1AGG-;copyInto!;2$I$;20| ($ $ $ (|Integer|))) (|A1AGG-;copy;2$;19| ($ $))
 (|A1AGG-;insert;2$I$;18| ($ $ $ (|Integer|)))
 (|A1AGG-;elt;$Us$;17| ($ $ (|UniversalSegment| (|Integer|))))
 (|A1AGG-;merge;M3$;16| ($ (|Mapping| (|Boolean|) S S) $ $))
 (|A1AGG-;map;M3$;15| ($ (|Mapping| S S S) $ $))
 (|A1AGG-;reduce;M$3S;12| (S (|Mapping| S S S) $ S S))
 (|A1AGG-;reduce;M$2S;11| (S (|Mapping| S S S) $ S))
 (|A1AGG-;reduce;M$S;10| (S (|Mapping| S S S) $))
 (|A1AGG-;setelt;$Us2S;9| (S $ (|UniversalSegment| (|Integer|)) S))
 (|A1AGG-;map!;M2$;8| ($ (|Mapping| S S) $))
 (|A1AGG-;count;M$Nni;7| ((|NonNegativeInteger|) (|Mapping| (|Boolean|) S) $))
 (|A1AGG-;find;M$U;6| ((|Union| S "failed") (|Mapping| (|Boolean|) S) $))
 (|A1AGG-;position;M$I;5| ((|Integer|) (|Mapping| (|Boolean|) S) $))
 (|A1AGG-;every?;M$B;4| ((|Boolean|) (|Mapping| (|Boolean|) S) $))
 (|A1AGG-;any?;M$B;3| ((|Boolean|) (|Mapping| (|Boolean|) S) $))
 (|A1AGG-;sort!;M2$;2| ($ (|Mapping| (|Boolean|) S S) $))
 (|A1AGG-;members;$L;1| ((|List| S) $)))
A1AGG-
(("ancestors" 0 NIL) ("parents" 0 NIL) ("abbreviation" 0 6003)
 ("predicates" 0 NIL) ("attributes" 0 NIL) ("signaturesAndLocals" 0 4471)
 ("superDomain" 0 NIL) ("operationAlist" 0 2548) ("modemaps" 0 NIL)
 ("sourceFile" 0 2534) ("dualSignature" 0 2524) ("constructorModemap" 0 69)
 ("constructorKind" 0 59) ("constructorForm" 0 21))