

#include "BUILTIN.h"

#include "Nat.h"

#include "Int.h"

#include "Real.h"

#include "RealConv.h"
extern OBJ _ARealConv_Sq(OBJ);OBJ __ARealConv_Sq; /* ` */
extern OBJ _ARealConv_Sq_O1(OBJ,OBJ);OBJ __ARealConv_Sq_O1; /* `,1 */
extern OBJ _ARealConv_Sqq(OBJ);OBJ __ARealConv_Sqq; /* `` */
extern OBJ _ARealConv_Sqq_O1(OBJ,OBJ);OBJ __ARealConv_Sqq_O1; /* ``,1 */
extern OBJ _ARealConv_AasNat(OBJ);OBJ __ARealConv_AasNat; /* asNat */
extern OBJ _ARealConv_AasInt(OBJ);OBJ __ARealConv_AasInt; /* asInt */
extern OBJ _ARealConv_Atrunc(OBJ);OBJ __ARealConv_Atrunc; /* trunc */

#include "RealConv.hc.c"

extern OBJ _ARealConv_Sq(OBJ x1) /* ` */
{OBJ r;
 ARealConv_Sq_O1(x1,__ANat_23,r);
 return r;}

extern OBJ _ARealConv_Sqq(OBJ x1) /* `` */
{OBJ r;
 ARealConv_Sqq_O1(x1,__ANat_23,r);
 return r;}

extern OBJ _ARealConv_Atrunc(OBJ x1) /* trunc */
{OBJ r;
 ARealConv_AasNat(x1,r);
 return r;}

init_ARealConv()
{
 static int visited=0; if(visited) return; visited=1;
 init_ANat();
 init_AInt();
 init_AReal();
 CLS(1,_ARealConv_7,__ARealConv_7);
 CLS(1,_ARealConv_6,__ARealConv_6);
 CLS(1,_ARealConv_5,__ARealConv_5);
 CLS(2,_ARealConv_4,__ARealConv_4);
 CLS(1,_ARealConv_3,__ARealConv_3);
 CLS(2,_ARealConv_2,__ARealConv_2);
 CLS(1,_ARealConv_1,__ARealConv_1);
 init_const_ARealConv();}

