:: =运算符是什么

Question

在Python docs中有如下代码片段：

if_stmt ::=  "if" expression ":" suite
             ("elif" expression ":" suite)*
             ["else" ":" suite]

::=是什么，那是什么语言？
谢谢。