

#include "BUILTIN.h"

#include "Nat.h"

#include "Real.h"

#include "TimeConv.h"
extern OBJ _ATimeConv_Sq(OBJ);OBJ __ATimeConv_Sq; /* ` */
extern OBJ _ATimeConv_Aformat(OBJ,OBJ);OBJ __ATimeConv_Aformat; /* format */
extern OBJ _ATimeConv_Ahc_Actime(OBJ);OBJ __ATimeConv_Ahc_Actime; /* hc_ctime */
extern OBJ _ATimeConv_Ahc_Astrftime(OBJ,OBJ);OBJ __ATimeConv_Ahc_Astrftime; /* hc_strftime */

#include "TimeConv.hc.c"

extern OBJ _ATimeConv_Sq(OBJ x1) /* ` */
{OBJ r;
 ATimeConv_Ahc_Actime(x1,r);
 return r;}

extern OBJ _ATimeConv_Aformat(OBJ x1,OBJ x2) /* format */
{OBJ r;
 ATimeConv_Ahc_Astrftime(x1,x2,r);
 return r;}

init_ATimeConv()
{
 static int visited=0; if(visited) return; visited=1;
 init_ATime();
 init_AOption();
 init_ANat();
 init_ACom();
 init_AReal();
 init_AVoid();
 init_ASeq();
 CLS(2,_ATimeConv_6,__ATimeConv_6);
 CLS(1,_ATimeConv_5,__ATimeConv_5);
 CLS(2,_ATimeConv_2,__ATimeConv_2);
 CLS(1,_ATimeConv_1,__ATimeConv_1);
 init_const_ATimeConv();}

