

#include "BUILTIN.h"

#include "Nat.h"
extern OBJ _AFmt_17(OBJ);extern OBJ __AFmt_17;
extern OBJ __AFmt_27;
extern OBJ _AFmt_28(OBJ);extern OBJ __AFmt_28;
extern OBJ _AFmt_33(OBJ,OBJ);extern OBJ __AFmt_33;
extern OBJ _AFmt_39(OBJ,OBJ,OBJ);extern OBJ __AFmt_39;
extern OBJ _AFmt_133(OBJ);extern OBJ __AFmt_133;

#include "Char.h"
extern OBJ _AFile_26(OBJ,OBJ);extern OBJ __AFile_26;

#include "Int.h"
extern OBJ _AStringConv_1(OBJ);extern OBJ __AStringConv_1;
extern OBJ _ASeqMap_3(OBJ,OBJ);extern OBJ __ASeqMap_3;
extern OBJ _AFormat_2(OBJ);OBJ __AFormat_2; /* asFormat */
extern OBJ _AFormat_3(OBJ);OBJ __AFormat_3; /* asFormat? */
extern OBJ _AFormat_4(OBJ);OBJ __AFormat_4; /* asFmt */
extern OBJ _AFormat_5(OBJ,OBJ);OBJ __AFormat_5; /* blk */
extern OBJ _AFormat_6(OBJ);OBJ __AFormat_6; /* str */
extern OBJ _AFormat_7(OBJ);OBJ __AFormat_7; /* str,1 */
extern OBJ _AFormat_8(OBJ);OBJ __AFormat_8; /* brk */
OBJ __AFormat_9; /* nl */
extern OBJ _AFormat_10(OBJ,OBJ);OBJ __AFormat_10; /* pretty */
extern OBJ _AFormat_11(OBJ,OBJ);OBJ __AFormat_11; /* pretty,1 */
extern OBJ _AFormat_12(OBJ,OBJ,OBJ);OBJ __AFormat_12; /* write */

extern OBJ _AFormat_2(OBJ x1) /* asFormat */
{OBJ r;
 r=x1;
 return r;}

extern OBJ _AFormat_3(OBJ x1) /* asFormat? */
{OBJ r;
 FREE(x1,1);
 r=__ABUILTIN_5;
 return r;}

extern OBJ _AFormat_4(OBJ x1) /* asFmt */
{OBJ r;
 r=x1;
 return r;}

extern OBJ _AFormat_5(OBJ x1,OBJ x2) /* blk */
{OBJ r;
 CPCLS(__AFormat_4,1);
 {OBJ x3;OBJ x4;
  x3=_ASeqMap_3(__AFormat_4,x2);
  x4=_AFmt_17(x3);
  r=_AFmt_33(x1,x4);}
 return r;}

extern OBJ _AFormat_6(OBJ x1) /* str */
{OBJ r;
 r=_AFmt_133(x1);
 return r;}

extern OBJ _AFormat_7(OBJ x1) /* str,1 */
{OBJ r;
 r=_AFmt_28(x1);
 return r;}

extern OBJ _AFormat_8(OBJ x1) /* brk */
{OBJ r;
 PRDF(1,1,r);FLD(r,1)=x1;
 return r;}

extern OBJ _AFormat_10(OBJ x1,OBJ x2) /* pretty */
{OBJ r;
 {OBJ x3;
  x3=_AFmt_39(__ANat_5,x2,x1);
  r=_AStringConv_1(x3);}
 return r;}

extern OBJ _AFormat_11(OBJ x1,OBJ x2) /* pretty,1 */
{OBJ r;
 r=_AFmt_39(__ANat_5,x2,x1);
 return r;}

extern OBJ _AFormat_12(OBJ x1,OBJ x2,OBJ x3) /* write */
{OBJ r;
 {OBJ x4;OBJ x5;
  x4=_AFmt_39(__ANat_5,x3,x2);
  x5=_AStringConv_1(x4);
  r=_AFile_26(x1,x5);}
 return r;}


init_AFormat()
{
 static int visited=0; if(visited) return; visited=1;
 init_ANat();
 init_AString();
 init_ASeq();
 init_ACom();
 init_AStream();
 init_AVoid();
 init_AFmt();
 init_AOption();
 init_AChar();
 init_AFile();
 init_AInt();
 init_AStringConv();
 init_ASeqMap();
 init_AComCompose();
 init_ASeqReduce();
 init_AStringMapSeq();
 CLS(3,_AFormat_12,__AFormat_12);
 CLS(2,_AFormat_11,__AFormat_11);
 CLS(2,_AFormat_10,__AFormat_10);
 CLS(1,_AFormat_8,__AFormat_8);
 CLS(1,_AFormat_7,__AFormat_7);
 CLS(1,_AFormat_6,__AFormat_6);
 CLS(2,_AFormat_5,__AFormat_5);
 CLS(1,_AFormat_4,__AFormat_4);
 CLS(1,_AFormat_3,__AFormat_3);
 CLS(1,_AFormat_2,__AFormat_2);
 COPY(__AFmt_27,1);
 __AFormat_9=__AFmt_27;}

