TAL

TAL

data Ty

data Flag

type Psi

type Gamma

data Label

data TyApp a

data Pack a

type Heap

type RegisterFile

data Instruction

type Delta

data Ctx

lookupHeapLabel