add vargen.mli