docs: def union(self, other):
          """Constructs an unminimized DFA recognizing the union of the languages of two given DFAs.
          Args:
              other (DFA): The other DFA that will be used
                           for the union operation
          Returns:
              DFA: The resulting DFA
          """
          operation = bool.__or__
          self.cross_product(other, operation)
          return self