*)
val relation_ex :
- MathQL.refine_op -> MathQL.path -> MathQL.resource_set -> MathQL.vvar_list -> MathQL.resource_set
+ MathQL.refine -> MathQL.path -> MathQL.resource_set -> string list -> MathQL.resource_set
val relation_galax_ex :
- MathQL.refine_op -> MathQL.path -> MathQL.resource_set -> MathQL.vvar_list -> MathQL.resource_set
+ MathQL.refine -> MathQL.path -> MathQL.resource_set -> string list -> MathQL.resource_set