Python的字符串插值操作符是在哪里正式定义的？

Question

我正在写一篇关于Python格式的文章，我很好奇在哪里正式定义了%操作符的工作方式。我找不到PEP定义操作符，我只在官方文档中找到引用。

用于Python2.7：https://docs.python.org/2.7/library/stdtypes.html#string-formatting-operations

用于Python3.6：https://docs.python.org/3.6/library/stdtypes.html#printf-style-string-formatting

有人知道我在哪里能找到他们吗？

Answer 1

根据史蒂文·伦巴斯基的回答，我决定把这个问题记下来。

不幸的是，除了文档之外，似乎没有关于插值运算符的正式定义。