   (setq-local comment-start      "(*")
   (setq-local comment-continue   " *")
   (setq-local comment-end        "*)")
-  (setq-local comment-start-skip "\\(//+\\|(\\*+\\)[ \t]*")
+  (setq-local comment-start-skip fstar-comment-start-skip)
   (setq-local font-lock-syntactic-face-function #'fstar-syntactic-face-function)
   (setq-local syntax-propertize-function fstar-mode-syntax-propertize-function))
 



(defcustom fstar-subp-block-sep
  (concat "\\(?:\\'\\|\n\\(?:[[:space:]]*\n\\)+\\(?:" fstar-syntax-block-start-re "\\)\\)")
  "Regular expression used when looking for source blocks."
  :group 'fstar
  :type 'string

  '((t :inherit font-lock-variable-name-face))
  "Face used for backticked infix operators."
  :group 'fstar)

(defconst fstar-comment-start-skip "\\(//+\\|(\\*+\\)[ \t]*")

(defconst fstar-syntax-id "\\_<[#']?[a-z_]\\(?:\\sw\\|\\s_\\)*\\_>")
(defconst fstar-syntax-cs "\\_<[#']?[A-Z]\\(?:\\sw\\|\\s_\\)*\\_>")
