∀ (configKey : UInt64) (expr : Lean.Expr) (nargs? : Option ℕ) (configKey_1 : UInt64) (expr_1 : Lean.Expr)
  (nargs?_1 : Option ℕ),
  ({ configKey := configKey, expr := expr, nargs? := nargs? } =
      { configKey := configKey_1, expr := expr_1, nargs? := nargs?_1 }) =
    (configKey = configKey_1 ∧ expr = expr_1 ∧ nargs? = nargs?_1)