-- ThanhVu Nguyen (Vu) (2014-12-31) > > I try to use the function t_const : Number.constant -> term create a > constant term from a string, e.g., "8" but don't know what this module > "Number" is. > > I am using Ocaml 3.12.1.
Hi Vu, It's apparently a utility module that ships with why3: $ find . -name number.ml ./src/util/number.ml You are probably missing "-I src/util" in the compilation switches, so that Number is visible. Best regards -- Yannick Moy, Senior Software Engineer, AdaCore _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/why3-club
