def time() -> float: ...