 
 (add-to-list 'auto-mode-alist '("\\.fst\\'" . fstar-mode))
 
-;;; footer
+;;; Footer
 
 (provide 'fstar-mode)
 ;;; fstar-mode.el ends here


(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)

        (save-excursion (indent-line-to target))
      (indent-line-to target))))

;;; Main mode

(defun fstar-setup-prettify ()
  "Setup prettify-symbols for use with F*."
