Documentation

Lean.Util.ReplaceExpr

structure Lean.Expr.ReplaceImpl.State :
Type
Equations
Equations
@[implementedBy Lean.Expr.ReplaceImpl.replaceUnsafe]