∀ (discrCtorMap : Lean.FVarIdMap Lean.Compiler.LCNF.Simp.CtorInfo) (ctorDiscrMap : Lean.PersistentExprMap Lean.FVarId)
  (discrCtorMap_1 : Lean.FVarIdMap Lean.Compiler.LCNF.Simp.CtorInfo)
  (ctorDiscrMap_1 : Lean.PersistentExprMap Lean.FVarId),
  ({ discrCtorMap := discrCtorMap, ctorDiscrMap := ctorDiscrMap } =
      { discrCtorMap := discrCtorMap_1, ctorDiscrMap := ctorDiscrMap_1 }) =
    (discrCtorMap = discrCtorMap_1 ∧ ctorDiscrMap = ctorDiscrMap_1)