c_src/time._sep.h

   1 #ifndef time__sep
   2 #define time__sep
   3 #include "kernel._sep.h"
   4 #include <nit_common.h>
   5 #include <time_nit.h>
   6 extern const int SFT_time[];
   7 #define COLOR_time___Object___get_time SFT_time[0]
   8 typedef val_t (* time___Object___get_time_t)(val_t  self);
   9 val_t time___Object___get_time(val_t  self);
  10 #endif