ZipCfg
data
Graph
m l
data
LGraph
m l
data
FGraph
m l
data
Block
m l
data
ZBlock
m l
data
ZHead
m
data
ZTail
m l
data
ZLast
l
insertBlock
class
HavingSuccessors
b
class
LastNode
l
blockId
zip
unzip
last
goto_end
zipht
tailOfLast
splice_tail
splice_head
splice_head_only'
splice_head'
of_block_list
to_block_list
graphOfLGraph
map_blocks
map_nodes
mapM_blocks
postorder_dfs
postorder_dfs_from
postorder_dfs_from_except
fold_layout
fold_blocks
fold_fwd_block
translate
pprLgraph
pprGraph
entry