

#include "BUILTIN.h"
extern OBJ _AFmt_28(OBJ);extern OBJ __AFmt_28;

#include "Nat.h"

#include "Char.h"

#include "NatConv.h"
extern OBJ _AStringConv_1(OBJ);extern OBJ __AStringConv_1;

#include "Denotation.h"

#include "Int.h"

#include "Real.h"
extern OBJ _AFmtBasicTypes_1(OBJ);OBJ __AFmtBasicTypes_1; /* fmtNat */
extern OBJ _AFmtBasicTypes_2(OBJ);OBJ __AFmtBasicTypes_2; /* fmtString */
extern OBJ _AFmtBasicTypes_3(OBJ);OBJ __AFmtBasicTypes_3; /* fmtDenotation */
OBJ __AFmtBasicTypes_4; /* fmtString'4 */
OBJ __AFmtBasicTypes_5; /* fmtString'5 */
OBJ __AFmtBasicTypes_6; /* fmtDenotation'6 */

extern OBJ _AFmtBasicTypes_1(OBJ x1) /* fmtNat */
{OBJ r;
 {OBJ x2;
  ANatConv_1(x1,x2);
  r=_AFmt_28(x2);}
 return r;}

extern OBJ _AFmtBasicTypes_2(OBJ x1) /* fmtString */
{OBJ r;
 CPPRD(__AFmtBasicTypes_4,1);
 CPPRD(__AFmtBasicTypes_5,1);
 {OBJ x2;OBJ x3;OBJ x4;
  x2=_AStringConv_1(x1);
  ADenotation_4(x2,__AFmtBasicTypes_4,x3);
  ADenotation_4(__AFmtBasicTypes_5,x3,x4);
  r=_AFmt_28(x4);}
 return r;}

extern OBJ _AFmtBasicTypes_3(OBJ x1) /* fmtDenotation */
{OBJ r;
 CPPRD(__AFmtBasicTypes_6,2);
 {OBJ x2;OBJ x3;
  ADenotation_4(x1,__AFmtBasicTypes_6,x2);
  ADenotation_4(__AFmtBasicTypes_6,x2,x3);
  r=_AFmt_28(x3);}
 return r;}

init_AFmtBasicTypes()
{
 static int visited=0; if(visited) return; visited=1;
 init_AFmt();
 init_ANat();
 init_AString();
 init_AChar();
 init_ASeq();
 init_AOption();
 init_AVoid();
 init_ANatConv();
 init_AStringConv();
 init_ADenotation();
 init_AInt();
 init_AReal();
 init_ASeqReduce();
 init_AStringMapSeq();
 DEN("\"",__AFmtBasicTypes_6);
 DEN("!(\"",__AFmtBasicTypes_5);
 DEN("\")",__AFmtBasicTypes_4);
 CLS(1,_AFmtBasicTypes_3,__AFmtBasicTypes_3);
 CLS(1,_AFmtBasicTypes_2,__AFmtBasicTypes_2);
 CLS(1,_AFmtBasicTypes_1,__AFmtBasicTypes_1);}

