

#include "BUILTIN.h"

#include "Nat.h"

#include "Bitset.h"

#include "Array.h"
extern OBJ _AArrayMap_3(OBJ,OBJ);extern OBJ __AArrayMap_3;
extern OBJ _ADArrayMap_3(OBJ,OBJ);OBJ __ADArrayMap_3; /* * */

extern OBJ _ADArrayMap_3(OBJ x1,OBJ x2) /* * */
{OBJ r;
 {OBJ x16=FLD1(x2,1);OBJ x17;OBJ x18;
  if(EXPRD(x2,1)){
   {
    RSOME(x2,r);
    FLD1(r,1)=_AArrayMap_3(x1,x16);}
  }else{
   x17=FLD1(x2,2);x18=FLD1(x2,3);CPPRD(x16,1);CPPRD(x17,1);
   {
    FRPRD(x2,1);PRD1(3,r);FLD1(r,2)=x17;FLD1(r,3)=x18;
    FLD1(r,1)=_AArrayMap_3(x1,x16);}}}
 return r;}

init_ADArrayMap()
{
 static int visited=0; if(visited) return; visited=1;
 init_ADArray();
 init_ANat();
 init_AOption();
 init_ABitset();
 init_AArray();
 init_AArrayMap();
 CLS(2,_ADArrayMap_3,__ADArrayMap_3);}

