∀ {decls : Array Lean.Elab.Term.LetRecDeclView} {body : Lean.Syntax} {decls_1 : Array Lean.Elab.Term.LetRecDeclView}
  {body_1 : Lean.Syntax},
  { decls := decls, body := body } = { decls := decls_1, body := body_1 } → decls = decls_1 ∧ body = body_1