module alloy/lexical/Literals
imports alloy/lexical/Keywords
exports 
  sorts Id Number
  lexical syntax
    [a-zA-Z\'\_]([a-zA-Z0-9\'\_]*) -> Id
    [0-9]+    -> Number
  lexical restrictions
    Id  -/- [A-Za-z0-9\_\']
    Number -/- [0-9]    

