Documentation

Lean.Meta.Sym.DSimp.Result

source
def Lean.Meta.Sym.DSimp.Result.markAsDone :
Result → Result
Instances For
    source
    def Lean.Meta.Sym.DSimp.Result.getResultExpr :
    Expr → Result → Expr
    Instances For