

#include "BUILTIN.h"

#include "Nat.h"
extern OBJ _ABSTreeReduce_5(OBJ,OBJ,OBJ,OBJ);extern OBJ __ABSTreeReduce_5;
extern OBJ _ASetByBSTReduce_4(OBJ,OBJ,OBJ,OBJ);OBJ __ASetByBSTReduce_4; /* / */

extern OBJ _ASetByBSTReduce_4(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* / */
{OBJ r;
 r=_ABSTreeReduce_5(x1,x2,x3,x4);
 return r;}

init_ASetByBSTReduce()
{
 static int visited=0; if(visited) return; visited=1;
 init_ASetByBST();
 init_ANat();
 init_ASeq();
 init_AOption();
 init_ABSTree();
 init_ATree();
 init_APair();
 init_ABSTreeReduce();
 CLS(4,_ASetByBSTReduce_4,__ASetByBSTReduce_4);}

