

#include "BUILTIN.h"

#include "Char.h"

#include "CharConv.h"

#include "Denotation.h"

#include "Int.h"

#include "IntConv.h"

#include "Nat.h"

#include "NatConv.h"

#include "Real.h"

#include "RealConv.h"
extern OBJ _ABasics_1(OBJ,OBJ);OBJ __ABasics_1; /* . */
OBJ __ABasics_2; /* .'2 */

extern OBJ _ABasics_1(OBJ x1,OBJ x2) /* . */
{OBJ r;
 CPPRD(__ABasics_2,1);
 CPCLS(__ADenotation_4,2);
 CPCLS(__ANatConv_1,2);
 CPCLS(__AReal_58,1);
 {OBJ x3;OBJ x4;OBJ x5;OBJ x6;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__ANatConv_1,1))(__ANatConv_1,x1);
  x4=(*(OBJ(*)(OBJ,OBJ))METHOD(__ANatConv_1,1))(__ANatConv_1,x2);
  x5=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ADenotation_4,2))(__ADenotation_4,__ABasics_2,x4);
  x6=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ADenotation_4,2))(__ADenotation_4,x3,x5);
  r=(*(OBJ(*)(OBJ,OBJ))METHOD(__AReal_58,1))(__AReal_58,x6);}
 return r;}

static OBJ _mt_2_0_2(OBJ t,OBJ t1,OBJ t2) 
{OBJ r;
 DCCLS(t,1);
 r=(*(OBJ(*)(OBJ,OBJ))ENTRY(t))(t1,t2);
 return r;}

init_ABasics()
{
 static int visited=0; if(visited) return; visited=1;
 init_ABool();
 init_ABoolConv();
 init_AChar();
 init_ACharConv();
 init_ADenotation();
 init_AInt();
 init_AIntConv();
 init_ANat();
 init_ANatConv();
 init_AReal();
 init_ARealConv();
 DEN(".",__ABasics_2);
 CLS(2,_ABasics_1,__ABasics_1);
 MTH(2,0,2,_mt_2_0_2);LZYMTH(2,0,2,_mt_2_0_2);}

