index.KAF

1471                
(|AddAst|)
|domain|
(((|AddAst|)
  (|Join| (|SpadSyntaxCategory|)
          (CATEGORY |domain| (SIGNATURE |base| ((|SpadAst|) $))
           (SIGNATURE |body| ((|SpadAst|) $)))))
 (T |AddAst|))
(NIL)
"syntax.spad"
((|base| (*1 *2 *1)
  (AND (|isDomain| *2 (|SpadAst|)) (|isDomain| *1 (|AddAst|))))
 (|body| (*1 *2 *1)
  (AND (|isDomain| *2 (|SpadAst|)) (|isDomain| *1 (|AddAst|)))))
((~= (#1=((|Boolean|) $ $) NIL T ELT)) (|latex| (((|String|) $) NIL T ELT))
 (|hash| (((|SingleInteger|) $) NIL T ELT))
 (|coerce| (((|OutputForm|) $) 18 T ELT) (($ #2=(|Syntax|)) NIL T ELT)
           ((#2# $) NIL T ELT))
 (|body| (((|SpadAst|) $) 12 T ELT)) (|before?| (#1# NIL T ELT))
 (|base| (((|SpadAst|) $) 10 T ELT)) (= (#1# NIL T ELT)))
((|ADDAST;coerce;$Of;3| ((|OutputForm|) $))
 (|ADDAST;body;$Sa;2| ((|SpadAst|) $)) (|ADDAST;base;$Sa;1| ((|SpadAst|) $)))
ADDAST
(((|SpadSyntaxCategory|) . T))
(((|AbstractSyntaxCategory|) . T) ((|BasicType|) . T)
 ((|CoercibleFrom| #1=(|Syntax|)) . T) ((|CoercibleTo| #1#) . T)
 ((|CoercibleTo| (|OutputForm|)) . T) ((|HomotopicTo| #1#) . T)
 ((|SetCategory|) . T) ((|SpadSyntaxCategory|) . T) ((|Type|) . T))
((|constructor|
  (NIL "This domain represents the syntax for an add-expression."))
 (|body|
  (((|SpadAst|) $)
   "base(\\spad{d}) returns the actual body of the add-domain expression `d'."))
 (|base|
  (((|SpadAst|) $)
   "\\spad{base(d)} returns the base domain(\\spad{s}) of the add-domain expression.")))
(("documentation" 0 1161) ("ancestors" 0 910) ("parents" 0 879)
 ("abbreviation" 0 872) ("predicates" 0 NIL) ("attributes" 0 NIL)
 ("signaturesAndLocals" 0 750) ("superDomain" 0 NIL) ("operationAlist" 0 404)
 ("modemaps" 0 235) ("sourceFile" 0 221) ("dualSignature" 0 215)
 ("constructorModemap" 0 41) ("constructorKind" 0 32) ("constructorForm" 0 21))