BlockId

type BlockId

mkBlockId

type BlockSet

type BlockEnv a

class IsSet set

setInsertList

setDeleteList

setUnions

class IsMap map

mapInsertList

mapDeleteList

mapUnions

emptyBlockSet

emptyBlockMap

blockLbl

infoTblLbl

retPtLbl