

#include "BUILTIN.h"
extern OBJ __APartName_11;
extern OBJ __ASeq_6;
extern OBJ __ARep_99;
extern OBJ __ARep_100;
extern OBJ __ARep_101;
extern OBJ __ARep_102;
extern OBJ __ARep_103;
extern OBJ __ARep_104;
extern OBJ __AOcPos_35;

#include "Nat.h"

#include "Bitset.h"

#include "Char.h"
extern OBJ __APragma_5;

#include "Denotation.h"

#include "Array.h"
OBJ __APreDef_1; /* bool */
OBJ __APreDef_2; /* true */
OBJ __APreDef_3; /* false */
OBJ __APreDef_4; /* trueVal */
OBJ __APreDef_5; /* falseVal */
OBJ __APreDef_6; /* proofscript */

static void ___APreDef_1()
{
 CPPRD(__ARep_101,1);
 CPPRD(__ARep_102,1);
 COPY(__AOcPos_35,2);
 COPY(__APragma_5,1);
 {OBJ x1;
  PRD1(1,x1);FLD1(x1,1)=__ARep_101;
  PRD1(7,__APreDef_1);FLD1(__APreDef_1,1)=__ARep_102;FLD1(__APreDef_1,2)=x1;FLD1(__APreDef_1,3)=__ASeq_6;FLD1(__APreDef_1,4)=__AOcPos_35;FLD1(__APreDef_1,5)=__APartName_11;FLD1(__APreDef_1,6)=__APragma_5;FLD1(__APreDef_1,7)=__AOcPos_35;}}

static void ___APreDef_2()
{
 COPY(__APreDef_1,1);
 CPPRD(__ARep_101,1);
 CPPRD(__ARep_103,1);
 COPY(__AOcPos_35,2);
 COPY(__APragma_5,1);
 {OBJ x1;OBJ x2;OBJ x3;
  PRD1(1,x1);FLD1(x1,1)=__ARep_101;
  PRD(1,0,x2);FLD(x2,1)=__APreDef_1;
  PRD1(1,x3);FLD1(x3,1)=x2;
  PRD1(7,__APreDef_2);FLD1(__APreDef_2,1)=__ARep_103;FLD1(__APreDef_2,2)=x1;FLD1(__APreDef_2,3)=__ASeq_6;FLD1(__APreDef_2,4)=__AOcPos_35;FLD1(__APreDef_2,5)=x3;FLD1(__APreDef_2,6)=__APragma_5;FLD1(__APreDef_2,7)=__AOcPos_35;}}

static void ___APreDef_3()
{
 COPY(__APreDef_1,1);
 CPPRD(__ARep_101,1);
 CPPRD(__ARep_104,1);
 COPY(__AOcPos_35,2);
 COPY(__APragma_5,1);
 {OBJ x1;OBJ x2;OBJ x3;
  PRD1(1,x1);FLD1(x1,1)=__ARep_101;
  PRD(1,0,x2);FLD(x2,1)=__APreDef_1;
  PRD1(1,x3);FLD1(x3,1)=x2;
  PRD1(7,__APreDef_3);FLD1(__APreDef_3,1)=__ARep_104;FLD1(__APreDef_3,2)=x1;FLD1(__APreDef_3,3)=__ASeq_6;FLD1(__APreDef_3,4)=__AOcPos_35;FLD1(__APreDef_3,5)=x3;FLD1(__APreDef_3,6)=__APragma_5;FLD1(__APreDef_3,7)=__AOcPos_35;}}



static void ___APreDef_6()
{
 CPPRD(__ARep_99,1);
 CPPRD(__ARep_100,1);
 COPY(__AOcPos_35,2);
 COPY(__APragma_5,1);
 {OBJ x1;
  PRD1(1,x1);FLD1(x1,1)=__ARep_99;
  PRD1(7,__APreDef_6);FLD1(__APreDef_6,1)=__ARep_100;FLD1(__APreDef_6,2)=x1;FLD1(__APreDef_6,3)=__ASeq_6;FLD1(__APreDef_6,4)=__AOcPos_35;FLD1(__APreDef_6,5)=__APartName_11;FLD1(__APreDef_6,6)=__APragma_5;FLD1(__APreDef_6,7)=__AOcPos_35;}}

init_APreDef()
{
 static int visited=0; if(visited) return; visited=1;
 init_APartName();
 init_AImpl();
 init_AFct();
 init_ASeq();
 init_APair();
 init_ARep();
 init_AOcPos();
 init_ANat();
 init_ABitset();
 init_AOption();
 init_AChar();
 init_APragma();
 init_ASeqConv();
 init_ADenotation();
 init_AArray();
 init_ASet();
 init_AString();
 init_ALexem();
 init_ASeqReduce();
 ___APreDef_1();
 ___APreDef_2();
 ___APreDef_3();
 COPY(__APreDef_2,1);
 COPY(__AOcPos_35,1);
 PRD(2,7,__APreDef_4);FLD(__APreDef_4,1)=__APreDef_2;FLD(__APreDef_4,2)=__AOcPos_35;
 COPY(__APreDef_3,1);
 COPY(__AOcPos_35,1);
 PRD(2,7,__APreDef_5);FLD(__APreDef_5,1)=__APreDef_3;FLD(__APreDef_5,2)=__AOcPos_35;
 ___APreDef_6();}

