* http://www.cs.unibo.it/helm/.
*)
-val letin_ex : MathQL.mqrvar -> Mathql_semantics.result -> Mathql_semantics.result
-val letref_ex : MathQL.mqrvar -> Mathql_semantics.result
+val letin_ex : MathQL.mqlvar -> Mathql_semantics.result -> Mathql_semantics.result
+val letref_ex : MathQL.mqlvar -> Mathql_semantics.result