Turn a Maude expression into a String

Question

Is there a way to turn a Maude expression into a string?

I'm looking for the equivalent of Haskell's show.

Answer 1

There's no really clean solution. You could convert the expression into a metaterm, metaPrettyPrint it, convert the resulting Qids to strings and concatenate them, but you would still need to deal with lexical issues, such as where to insert spaces.

(From the Maude mailing list)