Documentation

Lean.Meta.Tactic.Grind.RevertAll

source
def Lean.MVarId.revertAll (mvarId : Lean.MVarId) :
Lean.MetaM Lean.MVarId

Revert all free variables at goal mvarId.

Instances For