#ifndef INTLIST_H
#define INTLIST_H

#include "kaos.hh"
#include "bool.h"
#include "int.h"

extern int inl_sort;

udatum empty ();

udatum add ();
udatum hd ();
udatum tl ();
udatum hasany ();

void fintlist ();
int eqintlist ();
char* dintlist ();
#endif
