 
 (defun fstar-subp-sentinel (proc signal)
   "Handle PROC's SIGNAL."
-  (fstar-log "SENTINEL [%s] [%s]" signal (process-status proc))
+  (fstar-log 'info "Signal received: [%s] [%s]" signal (process-status proc))
   (when (or (memq (process-status proc) '(exit signal))
             (not (process-live-p proc)))
     (message "F*: subprocess exited.")

Candidates are provided by the F* subprocess.
COMMAND, ARG: see `company-backends'."
  (interactive '(interactive))
  ;; (fstar-log "fstar-subp-company-backend: %S %S" command arg)
  (when (fstar--has-feature 'completion)
    (pcase command
      (`interactive


(defun fstar-subp--query (query continuation)
  "Send QUERY to F* subprocess; handle results with CONTINUATION."
  (fstar-log 'in "%s" query)
  (fstar-assert (not fstar-subp--continuation))
  (setq fstar-subp--continuation continuation)
  (fstar-subp-start)
