Top down operator precedence parser (also known as Pratt parser) implementation for OCaml.