Manim库NumberLine类__init__参数类型标注及相关问题咨询

我在研究Manim库的NumberLine类__init__方法时，对几个参数的类型标注和用法存在困惑，代码片段如下：

def __init__(
        self,
        x_range: Sequence[float] | None = None,  # must be first
        length: float | None = None,
        ...
        line_to_number_buff: float = MED_SMALL_BUFF,
        decimal_number_config: dict | None = None,
        numbers_to_exclude: Iterable[float] | None = None,
        **kwargs,
    ):
...

需要理解的代码元素 #

• x_range: Sequence[float] | None = None
• length: float | None = None
• line_to_number_buff: float = MED_SMALL_BUFF
• decimal_number_config: dict | None = None
• numbers_to_exclude: Iterable[float] | None = None

具体问题 #

1. 若x_range不是Sequence类型，或Sequence元素非float类型会发生什么？
2. 若未传入float类型的line_to_number_buff参数，MED_SMALL_BUFF是否会作为默认值生效？

我的假设 #

1. 冒号用于指定__init__方法参数的类型；
2. |表示逻辑或，允许参数为None，但不清楚None = None的含义。

内容的提问来源于stack exchange，提问作者lmixa