lib:rewriting

Modules

• Generics.Regular.Rewriting
• Generics.Regular.Rewriting.Base
• Generics.Regular.Rewriting.Machinery
• Generics.Regular.Rewriting.Representations
• Generics.Regular.Rewriting.Rules
• Generics.Regular.Rewriting.Strategies

Dependencies

• base lib:base >=4.0 && <5
• containers lib:containers >=0.1
• regular lib:regular >=0.2 && <0.4

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• transformations lib:transformations