#ifndef int_HH
#define int_HH

#define PUBLIC
#define PRIVATE static

/***********************************************************************
     "int.hh": manual implementation of sort Int
***********************************************************************/

/***********************************
  (C) Copyright 1994; dit/upm
   Distributed under the conditions stated in the
   TOPO General Public License (see file LICENSE)
 ***********************************/

#include "bool.hh"
#include "nat.hh"


#ifndef int_IMP
extern	int Int;
#else
	int Int= -1;
#endif

int	INTequal ();

char *	INTdraw ();

int	INTparse ();

udatum	INTdatum ();

int	INTvalue ();

udatum	INTpower ();

udatum	INTdivision ();

udatum	INTmodulus ();

udatum	INTorder ();

udatum	INTfactorial ();

#endif
