 
 (defconst fstar-syntax-universe-id (concat "\\_<" fstar-syntax-universe-id-unwrapped "\\_>"))
 
-(defconst fstar-syntax-universe (concat "\\(" fstar-syntax-universe-id
-                                   "\\|u#([^)]*)\\)"))
+(defconst fstar-syntax-universe (concat "\\(" fstar-syntax-universe-id "\\|u#([^)]*)\\)"))
 
 (defconst fstar-syntax-ids (concat "\\(" fstar-syntax-id "\\(?: +" fstar-syntax-id "\\)*\\)"))
 


(defconst fstar-syntax-builtins
  (regexp-opt '("requires" "ensures" "modifies" "decreases" "attributes"
                "effect" "new_effect" "sub_effect" "new_effect_for_free"
                "effect_actions")
              'symbols))



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

(defconst fstar-syntax-structural-headers
  '("open" "module" "include"
    "let" "let rec" "val" "and"
    "effect" "new_effect" "sub_effect" "new_effect_for_free"
    "kind" "type"))

(defconst fstar-syntax-preprocessor-directives
  '("#set-options" "#reset-options"))

(defconst fstar-syntax-headers
  `(,@fstar-syntax-preprocessor-directives ,@fstar-syntax-structural-headers))

(defconst fstar-syntax-structural-qualifiers
  '("new" "abstract" "logic" "assume"
    "unfold" "irreducible" "inline_for_extraction" "noeq" "noextract"
    "private" "opaque" "total" "default" "reifiable" "reflectable"))

(defconst fstar-syntax-qualifiers
  `("assume" ,@fstar-syntax-structural-qualifiers))

(defconst fstar-syntax-block-start-re
  (format "^\\(?:%s \\)*%s "
          (regexp-opt fstar-syntax-qualifiers)
          (regexp-opt fstar-syntax-headers)))

(defconst fstar-syntax-structure
  (regexp-opt `("begin" "end" "in"
                ,@fstar-syntax-structural-headers
                ,@fstar-syntax-structural-qualifiers)
              'symbols))

(defconst fstar-syntax-preprocessor
  (regexp-opt fstar-syntax-preprocessor-directives 'symbols))

(defconst fstar-syntax-keywords
  (regexp-opt '("of"
