This module provides the means (via function dictionary) of constructing a dictionary of terms to be used by the rewriting functions.
dictionary : String -> Dict String String
Construct a dictionary of pairs for rewrite rules from an input string.
show : Dict String String -> String
Construct a string representation of the given dictionary.