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