LR(1) parser generator in OCaml
