{-
************************************************************************
*                                                                      *
\subsection{Ids}
*                                                                      *
************************************************************************
-}

idInfo :: Id -> IdInfo
idInfo (Id { id_info = info }) = info
idInfo :: Id -> IdInfo
idInfo (Id { id_info = info }) = info
idInfo (Id { id_info = info }) = info