def Lean.Grind.AC.Seq.renameVars (s : Seq) (f : Meta.Grind.VarRename) : Seq

def Lean.Grind.AC.Expr.renameVars (e : Expr) (f : Meta.Grind.VarRename) : Expr

def Lean.Grind.AC.Seq.collectVars (s : Seq) : Meta.Grind.VarCollector

def Lean.Grind.AC.Expr.collectVars (e : Expr) : Meta.Grind.VarCollector