úÎ0™ 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 is 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. 6Remove leading and trailing whitespace from a string.     maude-0.1.3 Foreign.Maude MaudeResult resultSort resultTerm statisticsrewritemaudeCmd maudeArgsparseMaudeResult newRunnerFiletrim