proc asctime(): PyStr {....raises: [], tags: [TimeEffect], forbids: [].}

func asctime(t: Some_struct_time): PyStr

proc ctime(): PyStr {....raises: [], tags: [], forbids: [].}

proc ctime(secs: float | int64): PyStr

proc strftime(format: PyStr): PyStr {....raises: [], tags: [TimeEffect],
                                      forbids: [].}

func strftime(format: PyStr; st: Some_struct_time): PyStr

proc strptime(s: PyStr; format = DefaultTimeFormat): struct_time {.
    ...raises: [ValueError, TimeParseError, TimeFormatParseError],
    tags: [TimeEffect], forbids: [].}