Menhir is a parser generator that transforms high-level grammar specifications into parsers using...