

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

#include "Nat.h"

#include "Char.h"
extern OBJ __ASetConv_11;
extern OBJ __ASetConv_12;
extern OBJ _AFmtSeq_2(OBJ,OBJ,OBJ,OBJ,OBJ);extern OBJ __AFmtSeq_2;
extern OBJ _AFmtSet_3(OBJ,OBJ,OBJ);OBJ __AFmtSet_3; /* fmtSet */
extern OBJ _AFmtSet_4(OBJ);OBJ __AFmtSet_4; /* fmtSet'4 */
OBJ __AFmtSet_5; /* fmtSet'5 */
extern OBJ _AFmtSet_6(OBJ);OBJ __AFmtSet_6; /* fmtSet'6 */
extern OBJ _AFmtSet_7(OBJ);OBJ __AFmtSet_7; /* fmtSet'7 */

extern OBJ _AFmtSet_3(OBJ x1,OBJ x2,OBJ x3) /* fmtSet */
{OBJ r;
 CPCLS(__AFmtSet_4,1);
 CPCLS(__AFmtSet_6,1);
 CPCLS(__AFmtSet_7,1);
 FRCLS(x1,1);
 {OBJ x4;OBJ x5;OBJ x6;
  x4=(*(OBJ(*)(OBJ,OBJ))METHOD(__AFmtSet_4,1))(__AFmtSet_4,__ABUILTIN_20);
  x5=(*(OBJ(*)(OBJ,OBJ))METHOD(__AFmtSet_6,1))(__AFmtSet_6,__ABUILTIN_20);
  x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__AFmtSet_7,1))(__AFmtSet_7,__ABUILTIN_20);
  r=_AFmtSeq_2(x2,x4,x5,x6,x3);}
 return r;}

extern OBJ _AFmtSet_4(OBJ x1) /* fmtSet'4 */
{OBJ r;
 CPPRD(__ASetConv_11,1);
 r=_AFmt_28(__ASetConv_11);
 return r;}

extern OBJ _AFmtSet_6(OBJ x1) /* fmtSet'6 */
{OBJ r;
 CPPRD(__AFmtSet_5,1);
 r=_AFmt_28(__AFmtSet_5);
 return r;}

extern OBJ _AFmtSet_7(OBJ x1) /* fmtSet'7 */
{OBJ r;
 CPPRD(__ASetConv_12,1);
 r=_AFmt_28(__ASetConv_12);
 return r;}

init_AFmtSet()
{
 static int visited=0; if(visited) return; visited=1;
 init_ASet();
 init_AFmt();
 init_AVoid();
 init_ANat();
 init_AString();
 init_ASeq();
 init_AOption();
 init_AChar();
 init_ASetConv();
 init_AFmtSeq();
 init_ASeqReduce();
 init_ASeqConv();
 LCLS(1,_AFmtSet_7,__AFmtSet_7);
 LCLS(1,_AFmtSet_6,__AFmtSet_6);
 DEN(",",__AFmtSet_5);
 LCLS(1,_AFmtSet_4,__AFmtSet_4);
 CLS(3,_AFmtSet_3,__AFmtSet_3);}

