   (funcall callback (pcase info
                       (`nil nil)
                       (`busy "F* subprocess unavailable")
-                      (_ (fstar--unwrap-paragraphs
+                      (_ (fstar--strip-newlines
                           (fstar-lookup-result-sig info "\\[company-show-doc-buffer]"))))))
 
 (defun fstar-subp-company--async-meta (candidate callback)

(defun fstar--unwrap-paragraphs (str)
  "Remove hard line wraps from STR."
  (replace-regexp-in-string " *\n\\([^\n\t ]\\)" " \\1" str))

(defun fstar--resolve-fn-value (fn-or-v)
  "Return FN-OR-V, or the result of calling it if it's a function."

  "Pass highlighted type information from INFO to CONTINUATION."
  (when info
    (funcall continuation
             (fstar--strip-newlines (fstar-lookup-result-sig info "\\[fstar-doc]")))))

(defun fstar--eldoc-function ()
  "Compute an eldoc string for current point.
