Project

General

Profile

Revision f4cba4b8 src/parsers/lexer_lustre.mll

View differences:

src/parsers/lexer_lustre.mll
41 41
  "returns", RETURNS;
42 42
  "var", VAR;
43 43
  "imported", IMPORTED;
44
  "import", IMPORT;
44 45
  "type", TYPE;
45 46
  "int", TINT;
46 47
  "bool", TBOOL;

Also available in: Unified diff