IMPLEMENTATION MODULE Types;

	(********************************************************)
	(*							*)
	(*	Definitions of non-quite-portable types		*)
	(*							*)
	(*  Programmer:		P. Moylan			*)
	(*  Last edited:	21 February 1995		*)
	(*  Status:		OK				*)
	(*							*)
	(*	The implementation part is deliberately empty	*)
	(*							*)
	(********************************************************)

END Types.