join-0.2: Parallel Join Patterns with Guards and Propagation

Join.Base

Documentation

module MultiSetRewrite.Base

module MultiSetRewrite.RuleSyntax