from datetime import date as real_date
from datetime import datetime as real_datetime
from datetime import time as real_time

class date(real_date): ...
class datetime(real_datetime): ...
class time(real_time): ...

def new_date(d: date) -> date: ...
def new_datetime(d: date) -> datetime: ...
def strftime(dt: date | datetime, fmt: str) -> str: ...
