

#include "BUILTIN.h"

#include "Array.h"

#include "Nat.h"

#include "Char.h"

init_AArrays()
{
 static int visited=0; if(visited) return; visited=1;
 init_AArray();
 init_AArrayConv();
 init_AArrayFilter();
 init_AArrayFold();
 init_AArrayMap();
 init_AArrayReduce();
 init_ANat();
 init_ASeq();
 init_AString();
 init_AChar();
 init_AOption();}

