

#include "BUILTIN.h"

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

#include "Nat.h"
extern OBJ __ASeq_2;
extern OBJ __ASeq_6;

#include "Char.h"
extern OBJ _AFmtSeq_2(OBJ,OBJ,OBJ,OBJ,OBJ);extern OBJ __AFmtSeq_2;
extern OBJ _AArrayReduce_3(OBJ,OBJ,OBJ);extern OBJ __AArrayReduce_3;
extern OBJ _AFmtArray_2(OBJ,OBJ);OBJ __AFmtArray_2; /* fmtArray */
OBJ __AFmtArray_3; /* fmtArray'3 */
OBJ __AFmtArray_4; /* fmtArray'4 */
extern OBJ _AFmtArray_5(OBJ);OBJ __AFmtArray_5; /* fmtArray'5 */
OBJ __AFmtArray_6; /* fmtArray'6 */
extern OBJ _AFmtArray_7(OBJ);OBJ __AFmtArray_7; /* fmtArray'7 */
OBJ __AFmtArray_8; /* fmtArray'8 */
extern OBJ _AFmtArray_9(OBJ);OBJ __AFmtArray_9; /* fmtArray'9 */
OBJ __AFmtArray_10; /* fmtArray'10 */
extern OBJ _AFmtArray_11(OBJ);OBJ __AFmtArray_11; /* fmtArray'11 */

extern OBJ _AFmtArray_2(OBJ x1,OBJ x2) /* fmtArray */
{OBJ r;
 COPY(__AFmtArray_3,1);
 CPCLS(__AFmtArray_5,1);
 CPCLS(__AFmtArray_7,1);
 CPCLS(__AFmtArray_9,1);
 CPCLS(__AFmtArray_11,1);
 COPY(__AFmt_32,1);
 CPPRD(__ASeq_2,1);
 {OBJ x3;OBJ x4;OBJ x5;OBJ x6;OBJ x7;OBJ x8;OBJ x9;OBJ x10;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AFmtArray_5,1))(__AFmtArray_5,__ABUILTIN_20);
  x4=(*(OBJ(*)(OBJ,OBJ))METHOD(__AFmtArray_7,1))(__AFmtArray_7,__ABUILTIN_20);
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AFmtArray_9,1))(__AFmtArray_9,__ABUILTIN_20);
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__AFmtArray_11,1))(__AFmtArray_11,__ABUILTIN_20);
  x7=_AArrayReduce_3(__ASeq_2,__ASeq_6,x2);
  x8=_AFmtSeq_2(x1,x4,x5,x6,x7);
  PRD(2,7,x9);FLD(x9,1)=x8;FLD(x9,2)=__AFmt_32;
  PRD(2,7,x10);FLD(x10,1)=x3;FLD(x10,2)=x9;
  PRD(2,7,r);FLD(r,1)=__AFmtArray_3;FLD(r,2)=x10;}
 return r;}

extern OBJ _AFmtArray_5(OBJ x1) /* fmtArray'5 */
{OBJ r;
 CPPRD(__AFmtArray_4,1);
 r=_AFmt_28(__AFmtArray_4);
 return r;}

extern OBJ _AFmtArray_7(OBJ x1) /* fmtArray'7 */
{OBJ r;
 CPPRD(__AFmtArray_6,1);
 r=_AFmt_28(__AFmtArray_6);
 return r;}

extern OBJ _AFmtArray_9(OBJ x1) /* fmtArray'9 */
{OBJ r;
 CPPRD(__AFmtArray_8,1);
 r=_AFmt_28(__AFmtArray_8);
 return r;}

extern OBJ _AFmtArray_11(OBJ x1) /* fmtArray'11 */
{OBJ r;
 CPPRD(__AFmtArray_10,1);
 r=_AFmt_28(__AFmtArray_10);
 return r;}


init_AFmtArray()
{
 static int visited=0; if(visited) return; visited=1;
 init_AArray();
 init_AFmt();
 init_AVoid();
 init_ANat();
 init_AString();
 init_ASeq();
 init_AOption();
 init_AChar();
 init_AFmtSeq();
 init_AArrayConv();
 init_ASeqReduce();
 init_AArrayReduce();
 LCLS(1,_AFmtArray_11,__AFmtArray_11);
 DEN(")",__AFmtArray_10);
 LCLS(1,_AFmtArray_9,__AFmtArray_9);
 DEN(",",__AFmtArray_8);
 LCLS(1,_AFmtArray_7,__AFmtArray_7);
 DEN("(",__AFmtArray_6);
 LCLS(1,_AFmtArray_5,__AFmtArray_5);
 DEN("array",__AFmtArray_4);
 CLS(2,_AFmtArray_2,__AFmtArray_2);
 PRDF(1,14,__AFmtArray_3);FLD(__AFmtArray_3,1)=__ANat_9;}

