def DateTime2literal(d, c):
 return string_literal(format_TIMESTAMP(d), c)

def DateTime2literal ( d , c ) : return string_literal ( format_TIMESTAMP ( d ) , c )
format a datetime object as an iso timestamp .