vvars: vvar_context (* contesto delle vvar introdotte con let-in *)
}
-let upd_svars c s =
- {svars = s; rvars = c.rvars; groups = c.groups; vvars = c.vvars}
+let upd_svars c s = {c with svars = s}
-let upd_rvars c s =
- {svars = c.svars; rvars = s; groups = c.groups; vvars = c.vvars}
+let upd_rvars c s = {c with rvars = s}
-let upd_groups c s =
- {svars = c.svars; rvars = c.rvars; groups = s; vvars = c.vvars}
+let upd_groups c s = {c with groups = s}
-let upd_vvars c s =
- {svars = c.svars; rvars = c.rvars; groups = c.groups; vvars = s}
-
-
+let upd_vvars c s = {c with vvars = s}