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

export default _