(ocamllex yicesLexer)

(menhir
 (infer true)
 (flags --explain)
 (modules yicesParser))
