typehints/micropython/machine.pyi [2284:2297]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    @overload
    def __init__(self, id: int, /):
        """
      Construct a new timer object of the given id. Id of -1 constructs a
      virtual timer (if supported by a board).
      
      See ``init`` for parameters of initialisation.
      """
    @overload
    def __init__(
        self,
        id: int,
        /,
        *,
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



typehints/pyboard/pyb.pyi [3824:3836]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    @overload
    def __init__(self, id: int, /):
        """
      Construct a new timer object of the given id.  If additional
      arguments are given, then the timer is initialised by ``init(...)``.
      ``id`` can be 1 to 14.
      """
    @overload
    def __init__(
        self,
        id: int,
        /,
        *,
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -