

#include "BUILTIN.h"

#include "Nat.h"
extern OBJ _ASeqFold_2(OBJ,OBJ);extern OBJ __ASeqFold_2;
extern OBJ _ASetFold_3(OBJ,OBJ,OBJ);OBJ __ASetFold_3; /* / */

extern OBJ _ASetFold_3(OBJ x1,OBJ x2,OBJ x3) /* / */
{OBJ r;
 FRCLS(x1,1);
 if(ISPRM(x3)){
  HLT("/\'SetFold: applied to empty set");
 }else{
  r=_ASeqFold_2(x2,x3);}
 return r;}

init_ASetFold()
{
 static int visited=0; if(visited) return; visited=1;
 init_ASet();
 init_ANat();
 init_ASeq();
 init_AOption();
 init_ASeqFold();
 CLS(3,_ASetFold_3,__ASetFold_3);}

