- modified : Bool
- mvarId : MVarId
- ctx : Simp.Context
- simprocs : Simp.SimprocsArray
- usedTheorems : Simp.UsedSimps
- diag : Simp.Diagnostics
Instances For
def
Lean.Meta.simpAll
(mvarId : MVarId)
(ctx : Simp.Context)
(simprocs : Simp.SimprocsArray := #[])
(stats : Simp.Stats := { })
: