(define count-all ; TYPE: (-> ((tree atom)) number) (lambda (ls) ; REQUIRES: atoms in ls are numbers (cond ((null? ls) 0) ((atom? (car ls)) (add1 (count-all (cdr ls)))) (else (+ (count-all (car ls)) (count-all (cdr ls)))))))