(define impc:compiler:print-lib-binding-details-to-log
(lambda (libname symname type)
;; don't write the header stuff for other AOT-compiled xtm libs -
;; assume a header file already exists in that case
(if (equal? *impc:compiler:message:level* 'high)
(begin
(print "LibBound: ")
(print-with-colors *impc:compiler:pretty-print-name-color* 'default #t (print symname))
(print " >>> ")
(print-with-colors *impc:compiler:pretty-print-type-color* 'default #f (print type))
(print " bound from ")
(print-with-colors *impc:compiler:pretty-print-code-color* 'default #f (print libname))
(println)))))