Agda.Syntax.Treeless
data Compiled
type Args
data TTerm
data TPrim
mkTApp
tAppView
mkLet
tInt
intView
tPlusK
tNegPlusK
plusKView
negPlusKView
tOp
tUnreachable
data CaseType
data TAlt
data TError
class Unreachable a