úÎ6 ¬ non-portable experimentallazar6@illinois.edu The result of a Maude rewrite.  The sort of the rewritten term. The rewritten term. Statistics printed by Maude. :The name of the Maude executable. It should be in $PATH. $Maude option flags which force Maude's output to be as relevant as  possible. The ; function takes a list of Maude file names and a term, and I attempts to rewrite the term in the context of those files. It assumes  the command to run Maude is "maude"" and that it located somewhere in  $PATH.  Parse Maude'9s output into a MaudeResult. The current implementation D does very little sanity checking and can not parse Maude failures. HCreate a temporary file which contains the commands Maude should run at J startup, namely some formatting commands, the rewrite command, and quit.    maude-0.1.2 Foreign.Maude MaudeResult resultSort resultTerm statisticsrewritemaudeCmd maudeArgsparseMaudeResult newRunnerFile