def __init__(self, builder: 'TexinfoBuilder') -> None:
    super().__init__()
    self.builder = builder
def __init__(self, builder: 'TexinfoBuilder') -> None:
    super().__init__()
    self.builder = builder