unsafe def Lean.Elab.Term.evalTerm (α : Type) (type : Lean.Expr) (value : Lean.Syntax) (safety : Lean.DefinitionSafety := Lean.DefinitionSafety.safe) : Lean.Elab.TermElabM α

Equations

• One or more equations did not get rendered due to their size.