

#include "BUILTIN.h"

#include "Nat.h"

#include "Char.h"

init_ABags()
{
 static int visited=0; if(visited) return; visited=1;
 init_ABag();
 init_ABagConv();
 init_ABagFilter();
 init_ABagFold();
 init_ABagMap();
 init_ABagReduce();
 init_ANat();
 init_APair();
 init_AOption();
 init_ASeq();
 init_AString();
 init_AChar();}

