

#include "BUILTIN.h"

#include "Nat.h"
extern OBJ _ASeqReduce_3(OBJ,OBJ,OBJ);extern OBJ __ASeqReduce_3;
extern OBJ _ASetReduce_4(OBJ,OBJ,OBJ,OBJ);OBJ __ASetReduce_4; /* / */
extern OBJ _ASetReduce_5(OBJ,OBJ,OBJ,OBJ);OBJ __ASetReduce_5; /* /,1 */

extern OBJ _ASetReduce_4(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* / */
{OBJ r;
 FRCLS(x1,1);
 r=_ASeqReduce_3(x2,x3,x4);
 return r;}

extern OBJ _ASetReduce_5(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* /,1 */
{OBJ r;
 FRCLS(x1,1);
 r=_ASeqReduce_3(x2,x3,x4);
 return r;}

init_ASetReduce()
{
 static int visited=0; if(visited) return; visited=1;
 init_ASet();
 init_ANat();
 init_ASeq();
 init_AOption();
 init_ASeqReduce();
 CLS(4,_ASetReduce_5,__ASetReduce_5);
 CLS(4,_ASetReduce_4,__ASetReduce_4);}

