API Documentation
Syntax
Modules = [Metatheory.Syntax]
Patterns
Modules = [Metatheory.Patterns]
Rules
Modules = [Metatheory.Rules]
Rules
Modules = [Metatheory.Rules]
Rewriters
Modules = [Metatheory.Rewriters]
EGraphs
Modules = [Metatheory.EGraphs]
EGraph Schedulers
Modules = [Metatheory.EGraphs.Schedulers]