\begin{code}
module TcIface where
import IfaceSyn	 ( IfaceDecl )
import TypeRep	 ( TyThing )
import TcRnTypes ( IfL )

tcIfaceDecl  :: IfaceDecl -> IfL TyThing
\end{code}