declare const _: {
  name: 'F*'
  type: 'programming'
  aceMode: 'text'
  extensions: ['.fst', '.fsti']
  languageId: 336943375
  tmScope: 'source.fstar'
  aliases: ['fstar']
  color: '#572e30'
}
export = _