                 (fstar-subp--lookup-wrapper
                  #'fstar--jump-to-definition-continuation (point))))
 
-;;;; Quick-peek
+;;; ;; ;; Quick-peek
 
 (defun fstar--quick-peek-continuation (info)
   "Show type from INFO in inline pop-up."

  (let ((fstar-subp--lax t))
    (fstar-subp-advance-or-retract-to-point arg)))

;;;; Flycheck

(defun fstar-subp--can-run-flycheck ()
  "Check whether it's a reasonable time to start a syntax check."

  (fstar-subp--query (fstar-subp--eval-query term)
                (apply-partially #'fstar-subp--eval-continuation term)))

;;; ;; ;; Search

(defconst fstar--search-buffer-name "*fstar-search*")
(push fstar--search-buffer-name fstar--all-temp-buffer-names)

(defun fstar-subp--search-insert-result (result)
  "Insert formatted RESULT of search."
