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