   '((t :italic t))
   "Face used to highlight decreases clauses."
   :group 'fstar)
-
-(defvar-local should-cancel-match nil)
 
 (defun fstar-group-pre-matcher (prefix-len allowed-newlines)
   "Prepare for highlighting.


(defun fstar-setup-font-lock ()
  "Setup font-lock for use with F*."
  (setq font-lock-defaults
        `(((,fstar-syntax-constants    . 'font-lock-constant-face)
           (,fstar-syntax-keywords     . 'font-lock-keyword-face)
           (,fstar-syntax-builtins     . 'font-lock-builtin-face)
           (,fstar-syntax-preprocessor . 'font-lock-preprocessor-face)
           (,fstar-syntax-structure    . 'fstar-structure-face)
           ,@fstar-syntax-additional)
          nil nil))
  (font-lock-set-defaults))

;;; Syntax table

                                ("'d" . ?δ) ("'e" . ?η))
  "Fstar symbols.")


(defun fstar-setup-prettify ()
  "Setup prettify-symbols for use with F*."
  (setq-local prettify-symbols-alist (append fstar-symbols-alist
                                             prettify-symbols-alist))
  (prettify-symbols-mode))

;;; Font-Lock

;; Loosely derived from https://github.com/FStarLang/atom-fstar/blob/master/grammars/fstar.cson
