∀ (paramInfo : Array Lean.Meta.ParamInfo) (resultDeps : Array ℕ) (paramInfo_1 : Array Lean.Meta.ParamInfo)
  (resultDeps_1 : Array ℕ),
  ({ paramInfo := paramInfo, resultDeps := resultDeps } = { paramInfo := paramInfo_1, resultDeps := resultDeps_1 }) =
    (paramInfo = paramInfo_1 ∧ resultDeps = resultDeps_1)