Match Strategy

Stratego -- Strategies for Program Transformation
The match strategy ?t matches the term pattern t against the current subject term. If the match succeeds all variables in t are bound to the corresponding sub-terms of the subject term.

See pattern matching


CategoryGlossary