(define impc:aot:insert-ext-globalvar-binding-details
(lambda (name type docstring)
(if (output-port? *impc:aot:current-output-port*)
(begin
(write
(list (if *impc:compiler:aot:dll* 'bind-ext-val 'register-ext-val)
(string->symbol name)
(string->symbol (impc:ir:pretty-print-type type))
docstring)
*impc:aot:current-output-port*)
(newline *impc:aot:current-output-port*)))))