vvar context component added

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 053e20c74bb009fa5ecbef498a7a3f12cb4bfcfb..02055f72792b023e51fa5714ef1e8c013304d68f 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -265,6 +265,8 @@ type rvar_context = (MathQL.rvar * MathQL.resource) list
 
 type group_context = (MathQL.rvar * MathQL.attribute_group) list
 
+type vvar_context = (MathQL.vvar * MathQL.value) list
+
 
 let svars = ref [] (* contesto delle svar *)
 
@@ -272,6 +274,7 @@ let rvars = ref [] (* contesto delle rvar *)
 
 let groups = ref [] (* contesto dei gruppi *)
 
+let vvars = ref [] (* contesto delle vvar introdotte con let-in *)
 
 (* valuta una MathQL.set_exp e ritorna un MathQL.resource_set *)