Idris.Core.TT
data Option
data FC
data FC'
data NameOutput
data TextFormatting
data OutputAnnotation
data ErrorReportPart
data Provenance
data Err' t
type Err
data TC a
data Name
data SpecialName
type Ctxt a
data NativeTy
data IntTy
data ArithTy
data Const
data Universe
data Raw
data ImplicitInfo
data Binder b
data UExp
data UConstraint
data ConstraintFC
type UCs
data NameType
data AppStatus n
data TT n
class TermSize a
type EnvTT n
data Datatype n
data DataOpt
type DataOpts
data TypeInfo
type Term
type Type
type Env
data WkEnvTT n
type WkEnv