     table)
   "Syntax table for F*.")
 
+;;; Mode map
+
+(defvar fstar-mode-map
+  (make-sparse-keymap))
+
 ;;; Indentation
 
 (defun fstar-indentation-points ()


(defface fstar-subp-overlay-processed-face
  '((t :background "darkslateblue"))
  "Face used to highlight processed sections of the buffer."
  :group 'fstar)



(defun fstar-subp-remove-unprocessed ()
  "Remove pending and busy overlays."
  (cl-loop for overlay in (fstar-subp-tracking-overlays)
           unless (fstar-subp-status-eq overlay 'processed)
           do (delete-overlay overlay)))

