     'name'  : 'keyword.other.fstar'
     'match' : '\\b(opaque|logic|requires|ensures|modifies|match|with|and|kind|\
                   type|val|open|module|effect|default|new_effect|sub_effect|\
-                  total|private|begin|end)\\b'
+                  total|private|begin|end|decreases)\\b'
   }
   {
     'name'  : 'constant.numeric.integer.decimal.fstar'


'name': 'F*'

'fileTypes': ['fst']

'editor':
  'commentStart' : '\\(\\*'

  }
  {
    'name'  : 'keyword.logical-connective.fstar'
    'match' : '\\b(==>|<==>|\\\\/|/\\\\|forall|exists)\\b'
  }
  {
    'name'  : 'variable.other.generic-type.fstar'
