open Domains;;
open Interpreter;;

let e_as_string =
  "soit x : entier = 2 + 2 dans x";;

let e =
  ESoit("x",
        TEntier,
        EOperation(ELitteral(LEntier 2),
                   OPlus,
                   ELitteral(LEntier 2)),
        EVariable "x");;

let v = eval_expression e Environment.empty Environment.empty;;

print_string (string_of_value v);;
print_newline ();;