Module rule 

Structs

ClosureRewriteRule

A rewrite rule backed by a plain closure, requiring no separate struct or impl block.

Traits

RewriteRule

A rewrite rule that may be applied at any position in a term.

Functions

mk_leaf

Convenience: build a leaf term (no sub-terms).