tla constant

LanguageInfo const tla

The information provided by linguist about the "TLA" language or content type.

Implementation

static const LanguageInfo tla = LanguageInfo(
  name: 'TLA',
  type: LanguageType.programming,
  aliases: [],
  extensions: ['.tla'],
  filenames: [],
  interpreters: [],
  linguistColor: '#4b0079',
  aceMode: 'text',
  textMateScope: 'source.tla',
);