úÎ-     unknown experimentallazar6@illinois.eduThe result of a Maude rewrite.  The sort of the rewritten term. The rewritten term. Statistics printed by Maude. Configuration of Maude' s execution. Path to the Maude executable. (Files to load before running a command. -Whether Maude should print with parentheses. &The default configuration used by the   function. $Maude option flags which force Maude's output to be as relevant as  possible. rewrite files term, performs a single Maude rewrite command on  term using the   configuration loaded with files. rewriteWith conf term, performs a single Maude rewrite command on  term using the configuration conf.  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 H startup: load file commands, formatting commands, the rewrite command,  and the quit command. 6Remove leading and trailing whitespace from a string.            maude-0.2.0 Foreign.Maude MaudeResult resultSort resultTerm statistics MaudeConfmaudeCmd loadFiles printParens defaultConfrewrite rewriteWithparseMaudeResult maudeArgs newRunnerFiletrim