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