(define impc:compiler:print-binding-details-to-log
(lambda (lead-string symname type)
(if (equal? *impc:compiler:message:level* 'high)
(begin
(print lead-string " ")
(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))
(println)))))