Documentation

Lean.Meta.Tactic.Grind.Finish

source
@[reducible, inline]
abbrev Lean.Meta.Grind.Action.maxIterationsDefault :
Nat
Instances For
    source
    def Lean.Meta.Grind.Action.mkFinish (maxIterations : Nat := maxIterationsDefault) :
    IO Action
    Instances For