1 /* This C header file is generated by NIT to compile modules and programs that requires time. */
4 #include "kernel._sep.h"
5 #include <nit_common.h>
7 extern const char *LOCATE_time
;
8 extern const int SFT_time
[];
9 #define CALL_time___Object___get_time(recv) ((time___Object___get_time_t)CALL((recv), (SFT_time[0] + 0)))
10 typedef val_t (* time___Object___get_time_t
)(val_t self
);
11 val_t
time___Object___get_time(val_t self
);
12 #define LOCATE_time___Object___get_time "time::Object::get_time"