Analyzer
coroutines
ApplyCoroutine
Node
AstCanonicalization
coroutines
above
Zipper
addSuccessorsToNodeFront
Node
all
SubCfg
alldecls
Chain
allnodes
Cfg ExtractSubgraphContext
ancestors
Chain
append
Zipper
apply
Table _0 _1 _2 _3 _1$spec$C _1$spec$D _1$spec$F _1$spec$I _1$spec$J _1$spec$L _1$spec$S _2$spec$DD _2$spec$DI _2$spec$DJ _2$spec$DL _2$spec$ID _2$spec$II _2$spec$IJ _2$spec$IL _2$spec$JD _2$spec$JI _2$spec$JJ _2$spec$JL _2$spec$LD _2$spec$LI _2$spec$LJ _2$spec$LL ~> ~~> ~~~>
args
Table ApplyCoroutine
ascend
Zipper
assignments
BlockInfo