#ifndef INT_H
#define INT_H

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

extern int int_sort;

udatum n0 ();
udatum n1 ();
udatum n2 ();
udatum n3 ();

udatum eq ();
udatum noteq ();
udatum plus ();
udatum mod ();

int eqint ();
char* dint ();
#endif
