

#include "BUILTIN.h"

#include "Nat.h"
extern OBJ _AMapMap_5(OBJ,OBJ,OBJ);extern OBJ __AMapMap_5;

#include "Array.h"
extern OBJ _AArrayMap_3(OBJ,OBJ);extern OBJ __AArrayMap_3;
extern OBJ _ACAST_3(OBJ);extern OBJ __ACAST_3;
extern OBJ _ANatMapMap_3(OBJ,OBJ);OBJ __ANatMapMap_3; /* * */
extern OBJ _ANatMapMap_4(OBJ,OBJ);OBJ __ANatMapMap_4; /* *'4 */

extern OBJ _ANatMapMap_3(OBJ x1,OBJ x2) /* * */
{OBJ r;
 CPCLS(__ANatMapMap_4,1);
 {OBJ x3;OBJ x4;OBJ x5;
  x3=_ACAST_3(x2);
  x4=(*(OBJ(*)(OBJ,OBJ))METHOD(__ANatMapMap_4,1))(__ANatMapMap_4,x1);
  x5=_AArrayMap_3(x4,x3);
  r=_ACAST_3(x5);}
 return r;}

extern OBJ _ANatMapMap_4(OBJ x1,OBJ x2) /* *'4 */
{OBJ r;
 CPCLS(__ANat_80,1);
 r=_AMapMap_5(__ANat_80,x1,x2);
 return r;}

init_ANatMapMap()
{
 static int visited=0; if(visited) return; visited=1;
 init_ANatMap();
 init_ANat();
 init_AOption();
 init_ASet();
 init_ASeq();
 init_APair();
 init_AMapMap();
 init_AMap();
 init_AArray();
 init_AArrayMap();
 init_ANatMapNotForUserPurpose();
 init_ASetByBST();
 init_ABSTree();
 init_ATree();
 init_ACAST();
 CLS(2,_ANatMapMap_4,__ANatMapMap_4);
 CLS(2,_ANatMapMap_3,__ANatMapMap_3);}

