(define impc:aot:insert-nativefunc-binding-details
(lambda (lib-name func-name type docstring)
(if (and (output-port? *impc:aot:current-output-port*)
;; ignore if not dll
;; *impc:compiler:aot:dll*
;; ignore the binding if we're just binding something
;; from an Extempore AOT-compiled library
(not (and (>= (string-length (atom->string lib-name)) 3)
(string=? "xtm" (substring (atom->string lib-name) 0 3)))))
(begin
(write
(list 'bind-lib lib-name func-name type)
*impc:aot:current-output-port*)
(newline *impc:aot:current-output-port*)))))