%
% Copyright (C) 1997 Thomas Nordin and Alastair Reid
%

\begin{code}

module Name 
	( Name
	) where

\end{code}

\begin{code}

type Name = String

\end{code}