# -------------------------------------------------------------------- true : use_menhir, menhir_explain, menhir_table true : debug true : warn_Z, warn_Y, warn_+28, warn_-23, warn_+33 true : -traverse true : bin_annot # -------------------------------------------------------------------- : include : include : include : include : include # -------------------------------------------------------------------- : package(menhirLib), package(why3) : package(menhirLib), package(why3) : package(menhirLib), package(why3)