BranchPattern.fixIdentities

void fixIdentities(Pattern[] uniq = null)

Makes pattern-tree tips point to the same object if they are equal.

Parameters

uniqThe unique patterns to unify against.