docs: def __replace_all(repls: dict, input: str) -> str:
      """ Replaces from a string **input** all the occurrences of some
      symbols according to mapping **repls**.
  
      :param dict repls: where #key is the old character and
      #value is the one to substitute with;
      :param str input: original string where to apply the
      replacements;
      :return: *(str)* the string with the desired characters replaced
      """
      return re.sub('|'.join(re.escape(key) for key in repls.keys()),
                    lambda k: repls[k.group(0)], input)