1 (* contexts *****************************************************************)
3 type svar_context = (MathQL.svar * MathQL.resource_set) list
5 type rvar_context = (MathQL.rvar * MathQL.resource) list
7 type group_context = (MathQL.rvar * MathQL.attribute_group) list
9 type vvar_context = (MathQL.vvar * MathQL.value) list
12 type context = {svars: svar_context; (* contesto delle svar *)
13 rvars: rvar_context; (* contesto delle rvar *)
14 groups: group_context; (* contesto dei gruppi *)
15 vvars: vvar_context (* contesto delle vvar introdotte con let-in *)
19 {svars = s; rvars = c.rvars; groups = c.groups; vvars = c.vvars}
22 {svars = c.svars; rvars = s; groups = c.groups; vvars = c.vvars}
25 {svars = c.svars; rvars = c.rvars; groups = s; vvars = c.vvars}
28 {svars = c.svars; rvars = c.rvars; groups = c.groups; vvars = s}