(define impc:aot:insert-closure-binding-details
(lambda (name type zone-size docstring body)
(if (output-port? *impc:aot:current-output-port*)
(begin
(write
(list
(if *impc:compiler:aot:dll* 'bind-lib-func 'register-lib-func)
(string->symbol *impc:aot:current-lib-name*)
(string->symbol name)
(string->symbol (impc:ir:pretty-print-type type))
zone-size
docstring
(list 'quote body))
*impc:aot:current-output-port*)
(newline *impc:aot:current-output-port*)))))