def mjd_to_datestr(mjd, datestr): return _presto.mjd_to_datestr(mjd, datestr)
def mjd_to_datestr(mjd: "double", datestr: "char *") -> "void": return _presto.mjd_to_datestr(mjd, datestr)