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:/
-- 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 w