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

Equations

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