+++ /dev/null
-/* -----------------------------------------------------------------------------
- (c) The University of Glasgow 2001
-
- Arena allocation interface.
- -------------------------------------------------------------------------- */
-
-#ifndef ARENA_H
-#define ARENA_H
-
-// Abstract type of arenas
-typedef struct _Arena Arena;
-
-// Start a new arena
-extern Arena * newArena ( void );
-
-// Allocate memory in an arena
-extern void * arenaAlloc ( Arena *, size_t );
-
-// Free an entire arena
-extern void arenaFree ( Arena * );
-
-// For internal use only:
-extern unsigned long arenaBlocks( void );
-
-#endif /* ARENA_H */