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