∀
  (basePasses monoPasses monoPassesNoLambda impurePasses basePasses_1 monoPasses_1 monoPassesNoLambda_1 impurePasses_1 :
    Array Lean.Compiler.LCNF.Pass),
  ({ basePasses := basePasses, monoPasses := monoPasses, monoPassesNoLambda := monoPassesNoLambda,
        impurePasses := impurePasses } =
      { basePasses := basePasses_1, monoPasses := monoPasses_1, monoPassesNoLambda := monoPassesNoLambda_1,
        impurePasses := impurePasses_1 }) =
    (basePasses = basePasses_1 ∧
      monoPasses = monoPasses_1 ∧ monoPassesNoLambda = monoPassesNoLambda_1 ∧ impurePasses = impurePasses_1)