                                 ("'d" . ?δ) ("'e" . ?η))
   "Fstar symbols.")
 
-;;; font-lock
+;;; Font-Lock
 
 ;; Loosely derived from https://github.com/FStarLang/atom-fstar/blob/master/grammars/fstar.cson
 


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