val use_ex:
        Mathql_semantics.result -> MathQL.mqsvar -> string -> Mathql_semantics.result