Got it, thank you , I think it would be helpful to put that information in
the doc or something because why3 0.80 doesn't require this Number module
to to create const number term.
Vu,
On Tue, Dec 31, 2013 at 4:11 AM, Yannick Moy wrote:
> -- ThanhVu Nguyen (Vu) (2014-12-31)
> >
> > I try to
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.
Vu,
___
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
http:/