Module matching 

Pattern matching infrastructure for structural matching

Provides pattern matching with wildcards and constraints for transformation rules and algebraic manipulation.

This module is organized into:

• patterns: Pattern types, wildcards, and constraints
• engine: Matching algorithms and replacement logic

Structs

WildcardConstraints

Constraints for wildcard pattern matching

Enums

Pattern

A pattern that can match against expressions

Traits

Matchable

Trait for types that support pattern matching

Functions

check_commutativity

Check if all expressions in the collection are commutative

Type Aliases

PatternMatches

Result of pattern matching containing variable bindings