         (save-excursion (indent-line-to target))
       (indent-line-to target))))
 
-;;; fstar-mode
+;;; Main mode
 
 (defun fstar-setup-prettify ()
   "Setup prettify-symbols for use with F*."


(defconst fstar-syntax-additional
  (let ((id fstar-syntax-id))
    `((fstar-find-subtype-annotation
       ("\\({\\)\\(\\(?:.\\|\n\\)+\\)\\(}\\)"
        (fstar-group-pre-matcher 2 2) nil
        (1 'font-lock-type-face append)

            (up-list)
            (point))))
      (save-excursion
        (condition-case nil
            (forward-sexp)
          (error nil (forward-char)))
        (point))))

(defun fstar-find-fun-and-args (bound)
