(* contexts *****************************************************************)
type svar_context = (MathQL.svar * MathQL.resource_set) list
(* contexts *****************************************************************)
type svar_context = (MathQL.svar * MathQL.resource_set) list