code: def merge_from(self, other):
          
          if other.pattern is not None:
              self.pattern = other.pattern
          if other.format is not None:
              self.format = other.format
          self.leading_digits_pattern.extend(other.leading_digits_pattern)
          if other.national_prefix_formatting_rule is not None:
              self.national_prefix_formatting_rule = other.national_prefix_formatting_rule
          if other.national_prefix_optional_when_formatting is not None:
              self.national_prefix_optional_when_formatting = other.national_prefix_optional_when_formatting
          if other.domestic_carrier_code_formatting_rule is not None:
              self.domestic_carrier_code_formatting_rule = other.domestic_carrier_code_formatting_rule
docs: Merge information from another NumberFormat object into this one.