impc:aot:insert-polyfunc-binding-details   scheme

(define impc:aot:insert-polyfunc-binding-details
  (lambda (poly-name func-name docstring)
    (if (output-port? *impc:aot:current-output-port*)
        (begin
          (write
           (list
            'bind-poly
            (string->symbol poly-name)
            (string->symbol func-name)
            docstring)
           *impc:aot:current-output-port*)
          (newline *impc:aot:current-output-port*)))))