Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

build open-axiom

54512 views
Tweet
Share
Share
369                 
(|Aggregate&| S)
|package|
(((|Aggregate&| |#1|)
  (CATEGORY |package| (SIGNATURE |sample| (|#1|) |constant|)
   (SIGNATURE |eq?| ((|Boolean|) |#1| |#1|)))
  (|Aggregate|))
 (T |Aggregate&|))
(NIL T)
"aggcat.spad"
((|sample| (($) 10 T CONST)) (|eq?| (((|Boolean|) $ $) 8 T ELT)))
((|AGG-;sample;$;2| ($)) (|AGG-;eq?;2$B;1| ((|Boolean|) $ $)))
AGG-
(("ancestors" 0 NIL) ("parents" 0 NIL) ("abbreviation" 0 364)
 ("predicates" 0 NIL) ("attributes" 0 NIL) ("signaturesAndLocals" 0 301)
 ("superDomain" 0 NIL) ("operationAlist" 0 235) ("modemaps" 0 NIL)
 ("sourceFile" 0 221) ("dualSignature" 0 213) ("constructorModemap" 0 48)
 ("constructorKind" 0 38) ("constructorForm" 0 21))