impc:ti:get-global-var-types   scheme

(define impc:ti:get-global-var-types
  (lambda (ast)
    (if (atom? ast)
        (if (and (symbol? ast)
                 (impc:ti:globalvar-exists? (symbol->string ast)))
            (cons ast (string->symbol (impc:ir:pretty-print-type (impc:ir:pointer-- (impc:ti:get-globalvar-type (symbol->string ast))))))
            #f)
        (if (pair? ast)
            (list (impc:ti:get-global-var-types (car ast))
                  (impc:ti:get-global-var-types (cdr ast)))
            #f))))