Agda.Syntax.Treeless

data Compiled

type Args

data TTerm

data TPrim

isPrimEq

mkTApp

tAppView

tLetView

tLamView

mkTLam

mkLet

tInt

intView

tPlusK

tNegPlusK

plusKView

negPlusKView

tOp

tUnreachable

tIfThenElse

data CaseType

data TAlt

data TError

class Unreachable a