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