∀ {expr : Lean.Expr} {configKey : UInt64} {expr_1 : Lean.Expr} {configKey_1 : UInt64},
  { expr := expr, configKey := configKey } = { expr := expr_1, configKey := configKey_1 } →
    expr = expr_1 ∧ configKey = configKey_1