--- /dev/null
+/*
+ Extern implementation of Nit module time
+*/
+#ifndef CORE__TIME_NIT_H
+#define CORE__TIME_NIT_H
+
+#include <stdint.h>
+#include "core__time._nitni.h"
+#line 19 "../lib/core/time.nit"
+
+
+ #include <time.h>
+#include "core__math._ffi.h"
+#endif