Project

General

Profile

Revision f4cba4b8 src/parsers/lexerLustreSpec.mll

View differences:

src/parsers/lexerLustreSpec.mll
40 40
  "tel", TEL;
41 41
  "returns", RETURNS;
42 42
  "var", VAR;
43
  "import", IMPORT;
43 44
  "imported", IMPORTED;
44 45
  "int", TINT;
45 46
  "bool", TBOOL;

Also available in: Unified diff