     (user-error "Cannot find a full block to process")))
 
 (defun fstar-sub-overlay-contains-build-config (overlay)
+  "Check if OVERLAY contains a build-config header."
   (save-excursion
     (save-match-data
       (goto-char (overlay-start overlay))

;;; Indentation

(defun fstar-comment-offset ()
  (comment-normalize-vars)
  (when (fstar-in-comment-p)
    (save-excursion


;;; Footer

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

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