let expAreEqual e1 e2 =
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* Ici, pour les tests on lit s1 et s2, mais il faudrait dereferencer comme suit :
PIndexedExp (s) -> Data_for_aorai.get_str_exp_from_tmpident s
Ou bien
PIndexedExp (s) -> Data_for_aorai.get_exp_from_tmpident s
*)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
(* (String.compare e1 e2)=0 *)
let s1,s2 = (get_str_exp_from_tmpident e1),(get_str_exp_from_tmpident e2) in
(String.compare s1 s2)=0