RuleCondition

RuleCondition is an internal symbol used in pattern matching.

Examples

RuleCondition is typically used internally:

?RuleCondition

It appears in transformation rules:

Trace[Replace[{1, 2, 3}, {x_, y_, z_} :> x + y + z]]

Please visit the official Wolfram Language Reference for more details.