(cls, tree: T, variables: Dict[str, Variable])
return tree
Replaces all variables with unique names.
Replaces all variables with unique names.
Replaces all variables with unique names .
def replace(cls, tree: T, variables: Dict[str, Variable]) -> T:
        """Replaces all variables with unique names."""
        inst = cls(variables)
        inst.visit(tree)
        return tree
def replace ( cls , tree : T , variables : Dict [ str , Variable ] ) -> T : inst = cls ( variables ) inst . visit ( tree ) return tree