#ifndef nat_HH
#define nat_HH

#define PUBLIC
#define PRIVATE static

/***********************************************************************
     "nat.hh": manual implementation of sort Nat
***********************************************************************/

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

#include "bool.hh"


#ifndef nat_IMP
extern	int Nat;
#else
	int Nat= -1;
#endif

int	NATequal ();

char *	NATdraw ();

int	NATparse ();

udatum	NATdatum ();

int	NATvalue ();

udatum	NATpower ();

udatum	NATdivision ();

udatum	NATmodulus ();

#endif
