c_src/time._nitni.c

   1 #include "time._nitni.h"
   2 #include "time_nit.h"
   3 /* out/indirect function for time::Object::get_time */
   4 val_t Object_get_time___out( val_t recv )
   5 {
   6 Object recv___nitni;
   7 bigint return___nitni;
   8 val_t return___nit;
   9 recv___nitni.v = recv;
  10 return___nitni = kernel_Any_Any_get_time_0( recv___nitni );
  11 return___nit = TAG_Int(return___nitni);
  12 return return___nit;
  13 }