1 /* This C header file is generated by NIT to compile modules and programs that requires ../lib/standard/time. */
2 #ifndef standard___time_sep
3 #define standard___time_sep
4 #include "standard___kernel._sep.h"
5 #include <nit_common.h>
6 #include "time._nitni.h"
7 extern const char *LOCATE_standard___time
;
8 extern const int SFT_standard___time
[];
9 #define CALL_standard___time___Object___get_time(recv) ((standard___time___Object___get_time_t)CALL((recv), (SFT_standard___time[0] + 0)))
10 static const char * const LOCATE_standard___time___Object___get_time
= "time::Object::get_time";
11 val_t
standard___time___Object___get_time(val_t p0
);
12 typedef val_t (*standard___time___Object___get_time_t
)(val_t p0
);