}
let dollar = '$'
let num = ['1'-'9']['0'-'9']* | '0'
-let alfa = ['A'-'Z' 'a'-'z' '_' ''' '-'] | "\\_"
-let ident = alfa (alfa | num)*
+let letter = ['A'-'Z' 'a'-'z']
+let alfa = letter | ['_' ''' '-'] | "\\_"
+let ident = letter (alfa | num)*
let baseuri = '/'(ident '/')* ident '.'
let conuri = baseuri "con"
let varuri = baseuri "var"
| eof { EOF }
(* Arithmetical operators *)
| '+' { PLUS }
+ | '-' { MINUS }
| '*' { TIMES }
| '=' { EQ }
{}