Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

file 9 lines (7 sloc) 0.154 kb
1 2 3 4 5 6 7 8 9
\begin{code}
module TcType where
import Outputable( SDoc )

data MetaDetails

data TcTyVarDetails
pprTcTyVarDetails :: TcTyVarDetails -> SDoc
\end{code}
Something went wrong with that request. Please try again.