       (,fstar-syntax-builtins     . 'font-lock-builtin-face)
       (,fstar-syntax-preprocessor . 'font-lock-preprocessor-face)
       (,fstar-syntax-structure    . 'fstar-structure-face)
+      (,fstar-syntax-ambiguous    . 'fstar-ambiguous-face)
       ,@fstar-syntax-additional)
      nil nil))
   (font-lock-set-defaults)

(defface fstar-subscript-face
  '((t :height 0.8))
  "Face used to use for subscripts"
  :group 'fstar)

(defun fstar-group-pre-matcher (prefix-len allowed-newlines)

                "effect" "new_effect" "sub_effect")
              'symbols))

(defconst fstar-syntax-ambiguous
  (regexp-opt `("\\/" "/\\")))

;; (defconst fstar-syntax-types
;;   (regexp-opt '("Type")
;;               'symbols))
