Component Specification

(defcspec
 '(sum   abbrev add
    interfaces ((accout accumulator offers
                  ((item item in)
                   (acc  sumd  out)
                   (outt conttype out))))
         types ((item anything t)
                (conttype (hasop +) nil)
                (sumd (sum conttype) myadder))
         props
          ((test          (prop item boolean)
                                   () true)
           (summand       (prop item conttype))
           (initial-value (constant conttype) ()
                            (zero (a conttype)))
           (dataview      (viewtype item))
           (accum         (choice sumd sum)) )
       otspecs ((item (test summand))
                (sumd (initial-value dataview
                         accum)))  ))

Contents    Page-10    Prev    Next    Page+10    Index