c_src/time._sep.h

   1 /* This C header file is generated by NIT to compile modules and programs that requires time. */
   2 #ifndef time_2_sep
   3 #define time_2_sep
   4 #include "kernel._sep.h"
   5 #include <nit_common.h>
   6 #include <time_nit.h>
   7 #define LOCATE_time "./../lib/standard//time.nit"
   8 extern const int SFT_time[];
   9 #define COLOR_time___Object___get_time SFT_time[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"
  13 #endif