       (fstar-subp--query
        (fstar-subp--positionless-lookup-query
            (fstar-subp-company--candidate-fqn candidate) fields)
-       (fstar-subp--lookup-wrapper continuation nil))
+       (fstar-subp--lookup-wrapper nil continuation))
     (funcall continuation 'busy)))
 
 (defun fstar-subp-company--meta-continuation (callback info)

    (setq id (fstar--read-string "Show docs for%s: " (fstar--fqn-at-point))))
  (fstar-subp--query (fstar-subp--positionless-lookup-query id
                  '(type defined-at documentation))
                (fstar-subp--lookup-wrapper
                 #'fstar--doc-at-point-continuation (point))))

;;; ;; ;; Print


  (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

