ExternalCore
data
Module
data
Tdef
data
Cdef
data
Vdefg
type
Vdef
data
Exp
data
Bind
data
Alt
type
Vbind
type
Tbind
data
Ty
data
Kind
data
Lit
type
Mname
type
Var
type
Tvar
type
Tcon
type
Dcon
type
Qual
t
type
Id
primMname
tcArrow