c_src/time._sep.c

   1 #include "time._sep.h"
   2 val_t time___Object___get_time(val_t  self) {
   3   struct trace_t trace = {NULL, "time::Object::get_time (bin/../lib/standard//time.nit:18,2--67)"};
   4   trace.prev = tracehead; tracehead = &trace;
   5   tracehead = trace.prev;
   6   return TAG_Int(kernel_Any_Any_get_time_0( self));
   7 }