     (fstar-subp--ensure-available #'user-error 'lookup/documentation)
     (fstar-subp--query (fstar-subp--positional-lookup-query (point)
                     '(type defined-at documentation))
-                  (fstar-subp--lookup-wrapper
-                   #'fstar--doc-at-point-continuation (point)))))
+                  (fstar-subp--lookup-wrapper (point)
+                    #'fstar--doc-at-point-continuation))))
 
 (defun fstar-doc (id)
   "Show information and documentation about ID.

        (funcall continuation response)
      (funcall continuation nil))))

(defun fstar-subp--lookup-wrapper (continuation pos)
  "Handle the results of a lookup query at POS.
If response is valid, forward results to CONTINUATION.  With nil POS, this
function can also handle results of position-less lookup queries."
  (fstar-subp--pos-check-wrapper pos
    (lambda (response)
      (-if-let* ((info (and response (if (fstar--has-feature 'json-subp)

  (when (= (quick-peek-hide) 0)
    (fstar-subp--query (fstar-subp--positional-lookup-query (point)
                    '(type documentation))
                  (fstar-subp--lookup-wrapper (point)
                    #'fstar--quick-peek-continuation))))

;;; ;; ;; Company

