   ;; min makes sure that we don't spill to the next line.
   (forward-char (min (- (point-at-eol) (point-at-bol)) column)))
 
-(defun fstar--row-col-offset (line column)
+(defun fstar--line-col-offset (line column)
   "Convert a (LINE, COLUMN) pair into a buffer offset."
   ;; LATER: This would be much easier if the interactive mode returned
   ;; an offset instead of a line an column.

          (fstar-location-line-to loc)
          (fstar-location-col-to loc)))

(cl-defstruct fstar-issue
  level locs message)


CALLBACK is the company-mode asynchronous meta callback."
  (-if-let* ((def-loc (and (fstar-lookup-result-p info)
                           (fstar-lookup-result-def-loc info))))
      (pcase-let* ((fname (fstar-location-filename def-loc)))
        (funcall callback (if (string= fname "<input>")
                              (cons (current-buffer)
                                    (fstar-location-beg-offset def-loc))
                            (cons fname (fstar-location-line-from def-loc)))))
    (funcall callback nil)))

(defun fstar-subp-company--async-location (candidate callback)
