module languages/pico/syntax/Identifiers

exports
sorts PICO-ID

lexical syntax
  [a-z] [a-z0-9]* -> PICO-ID  

lexical restrictions
  PICO-ID -/- [a-z0-9]