

#include "BUILTIN.h"
extern OBJ _AString_49(OBJ);extern OBJ __AString_49;

#include "Nat.h"

#include "Char.h"
extern OBJ _ASetByPredConv_2(OBJ);OBJ __ASetByPredConv_2; /* ` */
extern OBJ _ASetByPredConv_3(OBJ);OBJ __ASetByPredConv_3; /* `,1 */
OBJ __ASetByPredConv_4; /* `'4 */
extern OBJ _ASetByPredConv_5(OBJ);OBJ __ASetByPredConv_5; /* `,1'5 */

extern OBJ _ASetByPredConv_2(OBJ x1) /* ` */
{OBJ r;
 CPPRD(__ASetByPredConv_4,1);
 FREE(x1,1);
 r=__ASetByPredConv_4;
 return r;}

extern OBJ _ASetByPredConv_3(OBJ x1) /* `,1 */
{OBJ r;
 CPCLS(__ASetByPredConv_5,1);
 FREE(x1,1);
 r=(*(OBJ(*)(OBJ,OBJ))METHOD(__ASetByPredConv_5,1))(__ASetByPredConv_5,__ABUILTIN_20);
 return r;}

extern OBJ _ASetByPredConv_5(OBJ x1) /* `,1'5 */
{OBJ r;
 CPPRD(__ASetByPredConv_4,1);
 r=_AString_49(__ASetByPredConv_4);
 return r;}

init_ASetByPredConv()
{
 static int visited=0; if(visited) return; visited=1;
 init_ASetByPred();
 init_AString();
 init_ANat();
 init_AChar();
 init_ASeq();
 init_AOption();
 LCLS(1,_ASetByPredConv_5,__ASetByPredConv_5);
 DEN("{some infinite set}",__ASetByPredConv_4);
 CLS(1,_ASetByPredConv_3,__ASetByPredConv_3);
 CLS(1,_ASetByPredConv_2,__ASetByPredConv_2);}

