∀ {map : Lean.PHashMap Lean.Expr Lean.Name} {constNames : Lean.NameSet} {revExprs : List Lean.Expr}
  {map_1 : Lean.PHashMap Lean.Expr Lean.Name} {constNames_1 : Lean.NameSet} {revExprs_1 : List Lean.Expr},
  { map := map, constNames := constNames, revExprs := revExprs } =
      { map := map_1, constNames := constNames_1, revExprs := revExprs_1 } →
    map = map_1 ∧ constNames = constNames_1 ∧ revExprs = revExprs_1