∀ {error : String} {suggestions : Option (List String)} {error_1 : String} {suggestions_1 : Option (List String)},
  LeanSearchClient.LoogleResult.failure error suggestions =
      LeanSearchClient.LoogleResult.failure error_1 suggestions_1 →
    error = error_1 ∧ suggestions = suggestions_1