   (font-lock-mode))
 
 (defun fstar-teardown-font-lock ()
+  "Disable F*-related font-locking."
   (remove-from-invisibility-spec 'fstar-subscripts))
 
 ;;; Syntax table

    (user-error "Cannot find a full block to process")))

(defun fstar-sub-overlay-contains-build-config (overlay)
  (save-excursion
    (save-match-data
      (goto-char (overlay-start overlay))


;;; Footer

;; Local Variables:
;; checkdoc-verb-check-experimental-flag: nil
;; End:

(provide 'fstar-mode)
;;; fstar-mode.el ends here
