                   (delq nil (mapcar #'fstar-subp-company-legacy--prepare-candidate
                                     (split-string response "\n")))))))))
 
-(defun fstar-subp--positionless-lookup-query (symbol)
-  "Prepare a header for an info query for SYMBOL."
+(defun fstar-subp--positionless-lookup-query (symbol fields)
+  "Prepare a header for an info query for SYMBOL with FIELDS."
+  (declare (indent 1))
   (when (equal symbol "")
     (user-error "Looking up an empty name"))
   (if (fstar--has-feature 'json-subp)
       (make-fstar-subp-query
        :query "lookup"
-       :args `(("symbol" . ,symbol)))
+       :args `(("symbol" . ,symbol)
+               ("requested-info" . ,fields)))
     (format "#info %s" symbol)))
 
 (defun fstar-subp-company--candidate-fqn (candidate)


(defun fstar-subp-company--async-meta (candidate callback)
  "Find type of CANDIDATE and pass it to CALLBACK."
  (fstar-subp-company--async-lookup
   candidate (apply-partially #'fstar-subp-company--meta-continuation callback)))

(defun fstar-subp-company--doc-buffer-continuation (callback info)
  "Forward documentation INFO to CALLBACK.


(defun fstar-subp-company--async-location (candidate callback)
  "Find location of CANDIDATE and pass it to CALLBACK."
  (fstar-subp-company--async-lookup candidate '(defined-at)
    (apply-partially #'fstar-subp-company--location-continuation callback)))

(defun fstar-subp-company-candidates (prefix)
  "Compute candidates for PREFIX.
