]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/reader/minilex.mll
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / rtests / reader / minilex.mll
1 { }
2 rule nextchar = parse 
3     _ 
4       { Some (Lexing.lexeme lexbuf).[0] }
5   | eof
6       { None }
7 { }