# (scc, [sl:stack]) = span ((<>) v) s.stack
# scc = scc ++ [sl]
= { s & sccs = [scc:s.sccs]
- , stack= stack
- , map = foldr (alter \(Just s)->Just {s & onstack=False}) s.map scc
+ , stack = stack
+ , map = foldr (alter \(Just s)->Just {s & onstack=False}) s.map scc
}
= s
where