#pragma GCC system_header

#ifndef _LIBCXX_CTIME
#define _LIBCXX_CTIME

#include <__config>
#include <time.h>

_LIBCXX_BEGIN_NAMESPACE_STD

using ::clock_getres;
using ::clock_gettime;
using ::clock_settime;
using ::gmtime;
using ::gmtime_r;
using ::localtime;
using ::localtime_r;
using ::mktime;
using ::nanosleep;
using ::strftime;
using ::time;
using ::time_t;
using ::timespec;

_LIBCXX_END_NAMESPACE_STD

#endif // _LIBCXX_CTIME